2 search results - page 1 / 1 » Quantifier Elimination by Lazy Model Enumeration |
CAV
2010
Springer
15 years 6 months ago
2010
Springer
148
Voted
ISSRE
2002
IEEE
15 years 7 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...