Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina. Automatic Test Generation for Coverage Analysis of ERTMS Software. In ICST 2009, Second International Conference on Software Testing Verification and Validation, 1-4 April 2009, Denver, Colorado, USA. pages 303-306, IEEE Computer Society, 2009. [doi]
@inproceedings{AngelettiGNPS09,
title = {Automatic Test Generation for Coverage Analysis of ERTMS Software},
author = {Damiano Angeletti and Enrico Giunchiglia and Massimo Narizzano and Alessandra Puddu and Salvatore Sabina},
year = {2009},
doi = {10.1109/ICST.2009.22},
url = {http://doi.ieeecomputersociety.org/10.1109/ICST.2009.22},
tags = {test coverage, testing, analysis, coverage},
researchr = {https://researchr.org/publication/AngelettiGNPS09},
cites = {0},
citedby = {0},
pages = {303-306},
booktitle = {ICST 2009, Second International Conference on Software Testing Verification and Validation, 1-4 April 2009, Denver, Colorado, USA},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3601-9},
}