Nicolás Rosner, Juan P. Galeotti, Santiago Bermúdez, Guido Marucci Blas, Santiago Perez De Rosso, Lucas Pizzagalli, Luciano Zemín, Marcelo F. Frias. Parallel bounded analysis in code with rich invariants by refinement of field bounds. In Mauro Pezzè, Mark Harman, editors, International Symposium on Software Testing and Analysis, ISSTA '13, Lugano, Switzerland, July 15-20, 2013. pages 23-33, ACM, 2013. [doi]
@inproceedings{RosnerGBBRPZF13,
title = {Parallel bounded analysis in code with rich invariants by refinement of field bounds},
author = {Nicolás Rosner and Juan P. Galeotti and Santiago Bermúdez and Guido Marucci Blas and Santiago Perez De Rosso and Lucas Pizzagalli and Luciano Zemín and Marcelo F. Frias},
year = {2013},
doi = {10.1145/2483760.2483770},
url = {http://doi.acm.org/10.1145/2483760.2483770},
researchr = {https://researchr.org/publication/RosnerGBBRPZF13},
cites = {0},
citedby = {0},
pages = {23-33},
booktitle = {International Symposium on Software Testing and Analysis, ISSTA '13, Lugano, Switzerland, July 15-20, 2013},
editor = {Mauro Pezzè and Mark Harman},
publisher = {ACM},
isbn = {978-1-4503-2159-4},
}