Ray-Yaung Chang, Andy Podgurski, Jiong Yang. Finding what s not there: a new approach to revealing neglected conditions in software. In David S. Rosenblum, Sebastian G. Elbaum, editors, Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2007, London, UK, July 9-12, 2007. pages 163-173, ACM, 2007. [doi]
Abstract is missing.