Mark Gabel, Junfeng Yang, Yuan Yu, Moisés Goldszmidt, Zhendong Su. Scalable and systematic detection of buggy inconsistencies in source code. In William R. Cook, Siobhán Clarke, Martin C. Rinard, editors, Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USA. pages 175-190, ACM, Reno/Tahoe, Nevada, 2010. [doi]
@inproceedings{GabelYYGS10,
title = {Scalable and systematic detection of buggy inconsistencies in source code},
author = {Mark Gabel and Junfeng Yang and Yuan Yu and Moisés Goldszmidt and Zhendong Su},
year = {2010},
doi = {10.1145/1869459.1869475},
url = {http://doi.acm.org/10.1145/1869459.1869475},
tags = {source-to-source, systematic-approach, open-source},
researchr = {https://researchr.org/publication/GabelYYGS10},
cites = {0},
citedby = {0},
pages = {175-190},
booktitle = {Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010},
editor = {William R. Cook and Siobhán Clarke and Martin C. Rinard},
address = {Reno/Tahoe, Nevada},
publisher = {ACM},
isbn = {978-1-4503-0203-6},
}