Juan P. Galeotti, Nicolás Rosner, Carlos López Pombo, Marcelo F. Frias. Analysis of invariants for efficient bounded verification. In Paolo Tonella, Alessandro Orso, editors, Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, ISSTA 2010, Trento, Italy, July 12-16, 2010. pages 25-36, ACM, 2010. [doi]
@inproceedings{GaleottiRPF10,
title = {Analysis of invariants for efficient bounded verification},
author = {Juan P. Galeotti and Nicolás Rosner and Carlos López Pombo and Marcelo F. Frias},
year = {2010},
doi = {10.1145/1831708.1831712},
url = {http://doi.acm.org/10.1145/1831708.1831712},
tags = {analysis},
researchr = {https://researchr.org/publication/GaleottiRPF10},
cites = {0},
citedby = {0},
pages = {25-36},
booktitle = {Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, ISSTA 2010, Trento, Italy, July 12-16, 2010},
editor = {Paolo Tonella and Alessandro Orso},
publisher = {ACM},
isbn = {978-1-60558-823-0},
}