Aaron Tomb, Cormac Flanagan. Detecting inconsistencies via universal reachability analysis. In Mats Per Erik Heimdahl, Zhendong Su, editors, International Symposium on Software Testing and Analysis, ISSTA 2012, Minneapolis, MN, USA, July 15-20, 2012. pages 287-297, ACM, 2012. [doi]
@inproceedings{TombF12,
title = {Detecting inconsistencies via universal reachability analysis},
author = {Aaron Tomb and Cormac Flanagan},
year = {2012},
doi = {10.1145/2338965.2336788},
url = {http://doi.acm.org/10.1145/2338965.2336788},
researchr = {https://researchr.org/publication/TombF12},
cites = {0},
citedby = {0},
pages = {287-297},
booktitle = {International Symposium on Software Testing and Analysis, ISSTA 2012, Minneapolis, MN, USA, July 15-20, 2012},
editor = {Mats Per Erik Heimdahl and Zhendong Su},
publisher = {ACM},
isbn = {978-1-4503-1454-1},
}