Emanuele Di Rosa, Enrico Giunchiglia, Massimo Narizzano, Gabriele Palma, Alessandra Puddu. Automatic generation of high quality test sets via CBMC. In Markus Aderhold, Serge Autexier, Heiko Mantel, editors, 6th International Verification Workshop, VERIFY-2010, Edinburgh, UK, July 20-21, 2010. Volume 3 of EPiC Series, pages 65-78, EasyChair, 2010. [doi]
@inproceedings{RosaGNPP10,
title = {Automatic generation of high quality test sets via CBMC},
author = {Emanuele Di Rosa and Enrico Giunchiglia and Massimo Narizzano and Gabriele Palma and Alessandra Puddu},
year = {2010},
url = {http://www.easychair.org/publications/?page=751305907},
researchr = {https://researchr.org/publication/RosaGNPP10},
cites = {0},
citedby = {0},
pages = {65-78},
booktitle = {6th International Verification Workshop, VERIFY-2010, Edinburgh, UK, July 20-21, 2010},
editor = {Markus Aderhold and Serge Autexier and Heiko Mantel},
volume = {3},
series = {EPiC Series},
publisher = {EasyChair},
}