Scalable error detection using boolean satisfiability (2005)

by Yichen Xie, Alex Aiken
Venue:In POPL