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]
Abstract is missing.