Scalable error detection using boolean satisfiability (2005)

by Y Xie, A Aiken
Venue:In Proceedings of POPL ’05