Bandera: extracting finite-state models from Java source code.

James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng

Browse the full ICSE paper archive.