Software model checking. (2009)

by R Jhala, R Majumdar
Venue:ACM Comput. Surv.