Scalable Error Detection using Boolean Satisfiability. (2005)

by Y Xie, A Aiken
Venue:Proceedings of the 32nd ACM Symposium on Principles of Programming Languages,