Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina. Automatic Test Generation for Coverage Analysis Using CBMC. In Roberto Moreno-DÃaz, Franz Pichler, Alexis Quesada-Arencibia, editors, Computer Aided Systems Theory - EUROCAST 2009, 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers. Volume 5717 of Lecture Notes in Computer Science, pages 287-294, Springer, 2009. [doi]
@inproceedings{AngelettiGNPS09-0,
title = {Automatic Test Generation for Coverage Analysis Using CBMC},
author = {Damiano Angeletti and Enrico Giunchiglia and Massimo Narizzano and Alessandra Puddu and Salvatore Sabina},
year = {2009},
doi = {10.1007/978-3-642-04772-5_38},
url = {http://dx.doi.org/10.1007/978-3-642-04772-5_38},
tags = {test coverage, testing, analysis, coverage},
researchr = {https://researchr.org/publication/AngelettiGNPS09-0},
cites = {0},
citedby = {0},
pages = {287-294},
booktitle = {Computer Aided Systems Theory - EUROCAST 2009, 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers},
editor = {Roberto Moreno-DÃaz and Franz Pichler and Alexis Quesada-Arencibia},
volume = {5717},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-04771-8},
}