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

by J Corbett, M B Dwyer, J Hatcliff, C S Pasareanu, Laubach Robby, S, H Zheng
Venue:In Proc. of ICSE’00: International Conference on Software Engineering