Back to Search Start Over

Vacuity analysis for property qualification by mutation of checkers.

Authors :
Di Guglielmo, L.
Fummi, F.
Pravadelli, G.
Source :
2010 Design, Automation & Test in Europe Conference & Exhibition (DATE); 2010, p478-483, 6p
Publication Year :
2010

Details

Language :
English
ISBNs :
9781424470549
Database :
Complementary Index
Journal :
2010 Design, Automation & Test in Europe Conference & Exhibition (DATE)
Publication Type :
Conference
Accession number :
81598718

Tools

Authors Abstract Subjects Details