5228 search results - page 599 / 1046 » Case Studies for Software Engineers |
157
click to vote
ICFEM
2007
Springer
16 years 1 months ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
178
click to vote
KBSE
2006
IEEE
16 years 1 months ago
2006
IEEE
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...
211
click to vote
MSR
2006
ACM
16 years 1 months ago
2006
ACM
Evolutionary annotations are descriptions of how source code evolves over time. Typical source comments, given their static nature, are usually inadequate for describing how a pro...
179
click to vote
APSEC
2005
IEEE
16 years 21 days ago
2005
IEEE
A test oracle is a mechanism that is used during testing to determine whether a software component behaves correctly or not. The test oracle problem is widely acknowledged in the ...
150
Voted
FASE
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. Software debugging is the activity of locating and correcting erroneous statements in programs. Automated tools to locate and correct the erroneous statements in a progra...