G.: A survey of automated techniques for formal software verification (2008)

by V D'Silva, D Kroening, Weissenbacher
Venue:IEEE Trans. on CAD of Integrated Circuits and Systems