Tool-Supported Program Abstraction for Finite-State Verification.

Matthew B. Dwyer, John Hatcliff, Roby Joehanes, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng, Willem Visser

Browse the full ICSE paper archive.