Scalable error detection using Boolean satisfiability (2005)

by Yichen Xie , Alex Aiken
Venue:In Proc. 32Ç È POPL. ACM
Citations:112 - 10 self