Scalable and systematic detection of buggy inconsistencies in source code.

Mark Gabel, Junfeng Yang, Yuan Yu, Moiss Goldszmidt, Zhendong Su

Browse the full OOPSLA paper archive.