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