Bandera: a source-level interface for model checking Java programs.

James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby

Browse the full ICSE paper archive.