Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli
Vacuity analysis for property qualification by mutation of checkers
DATE, 2010.
@inproceedings{DATE-2010-GuglielmoFP,
author = "Luigi Di Guglielmo and Franco Fummi and Graziano Pravadelli",
booktitle = "{Proceedings of the 14th Conference on Design, Automation and Test in Europe}",
pages = "478--483",
publisher = "{IEEE}",
title = "{Vacuity analysis for property qualification by mutation of checkers}",
year = 2010,
}