Bandera: Extracting Finite-state Models from Java Source Code (2000)

by James C. Corbett , Matthew B. Dwyer , John Hatcliff , Shawn Laubach , Corina S. Pasareanu , Hongjun Zheng
Venue:IN PROCEEDINGS OF THE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING
Citations:564 - 33 self