Finding what's not there: a new approach to revealing neglected conditions in software.

Ray-Yaung Chang, Andy Podgurski, Jiong Yang

Browse the full ISSTA paper archive.