Luidi Di Guglielmo, Franco Fummi, Graziano Pravadelli. Vacuity analysis for property qualification by mutation of checkers. In Design, Automation and Test in Europe, DATE 2010, Dresden, Germany, March 8-12, 2010. pages 478-483, IEEE, 2010. [doi]
@inproceedings{GuglielmoFP10, title = {Vacuity analysis for property qualification by mutation of checkers}, author = {Luidi Di Guglielmo and Franco Fummi and Graziano Pravadelli}, year = {2010}, url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5457158}, tags = {analysis}, researchr = {https://researchr.org/publication/GuglielmoFP10}, cites = {0}, citedby = {0}, pages = {478-483}, booktitle = {Design, Automation and Test in Europe, DATE 2010, Dresden, Germany, March 8-12, 2010}, publisher = {IEEE}, }