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:565 - 33 self

Document Versions

Bandera: Extracting Finite-state Models from Java Source Code –James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Hongjun Zheng — 2000 — IN PROCEEDINGS OF THE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING
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 — 2000 — IN PROCEEDINGS OF THE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING
Bandera: Extracting Finite-state Models from Java Source Code –James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Hongjun Zheng — 2000 — IN PROCEEDINGS OF THE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING
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 — 2000 — In Proceedings of the 22nd International Conference on Software Engineering