2419 search results - page 309 / 484 » A Formal Approach to Software Testing |
142
click to vote
SIGCSE
2009
ACM
16 years 4 months ago
2009
ACM
Many academic and industry professionals have called for more testing in computer science curricula. Test-driven development (TDD) has been proposed as a solution to improve testi...
120
click to vote
CAV
2009
Springer
16 years 4 months ago
2009
Springer
A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems, encompassing a continuous environment described by a sy...
140
click to vote
CAV
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, sof...
136
click to vote
ESOP
2005
Springer
15 years 9 months ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
118
Voted
FASE
2005
Springer
15 years 9 months ago
2005
Springer
MSC is a visual formalism for specifying the behavior of systems. To obtain implementations for individual processes, the MSC choice construction poses fundamental problems. The be...