2 search results - page 1 / 1 » Quantifier Elimination by Lazy Model Enumeration |
CAV
2010
Springer
13 years 8 months ago
2010
Springer
ISSRE
2002
IEEE
13 years 9 months ago
2002
IEEE
An important aspect of developing models relating the number and type of faults in a software system to a set of structural measurement is defining what constitutes a fault. By de...