Matthew B. Dwyer John Hatcliff Robby Corina S. Pasareanu Willem Visser Formal Software Analysis Emerging Trends in Software Model Checking. 120-136 2007 FOSE http://doi.acm.org/10.1145/1253532.1254714 conf/icse/2007fose db/conf/icse/fose2007.html#DwyerHRPV07