Scalable error detection using Boolean satisfiability (2005)

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