3 search results - page 1 / 1 » A Theory of Mutations with Applications to Vacuity, Coverage... |
FMCAD
2008
Springer
13 years 6 months ago
2008
Springer
The quality of formal specifications and the circuits they are written for can be evaluated through checks such as vacuity and coverage. Both checks involve mutations to the specif...
TAP
2008
Springer
13 years 4 months ago
2008
Springer
Abstract. In recent years, we see a growing awareness to the importance of assessing the quality of specifications. In the context of model checking, this can be done by analyzing ...
ISSRE
2003
IEEE
13 years 10 months ago
2003
IEEE
Software testing and software fault tolerance are two major techniques for developing reliable software systems, yet limited empirical data are available in the literature to eval...