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

Open Webpage

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

Published: 2000, Last Modified: 22 Mar 2026ICSE 2000EveryoneRevisionsBibTeXCC BY-SA 4.0