Formal Software Analysis Emerging Trends in Software Model Checking.

Matthew B. Dwyer, John Hatcliff, Robby, Corina S. Pasareanu, Willem Visser

Browse the full ICSE paper archive.