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