13 search results - page 1 / 3 » Faster Checking of Software Specifications by Eliminating Is... |
POPL
1996
ACM
13 years 9 months ago
1996
ACM
WCRE
1999
IEEE
13 years 9 months ago
1999
IEEE
In reengineering an object-oriented system we want to benefit from the expertise developed in earlier efforts. It is therefore essential to have a way to communicate expertise at ...
ICSE
2005
IEEE-ACM
14 years 5 months ago
2005
IEEE-ACM
We present an automatic error-detection approach that combines static checking and concrete test-case generation. Our approach consists of taking the abstract error conditions inf...
ISSTA
2004
ACM
13 years 10 months ago
2004
ACM
Constraints in predicate or relational logic can be translated into boolean logic and solved with a SAT solver. For faster solving, it is common to exploit the typing of predicate...
NJC
2006
13 years 4 months ago
2006
Slicing is a technique for extracting parts of programs or specifications with respect to certain criteria of interest. The extraction is carried out in such a way that properties ...