Xusheng Xiao, Gogul Balakrishnan, Franjo Ivancic, Naoto Maeda, Aarti Gupta, Deepak Chhetri
ARC++: effective typestate and lifetime dependency analysis
ISSTA, 2014.
@inproceedings{ISSTA-2014-XiaoBIMGC,
author = "Xusheng Xiao and Gogul Balakrishnan and Franjo Ivancic and Naoto Maeda and Aarti Gupta and Deepak Chhetri",
booktitle = "{Proceedings of the 23rd International Symposium on Software Testing and Analysis}",
doi = "10.1145/2610384.2610395",
isbn = "978-1-4503-2645-2",
pages = "116--126",
publisher = "{ACM}",
title = "{ARC++: effective typestate and lifetime dependency analysis}",
year = 2014,
}