Bandera: Extracting finite-state models from Java source code, (2000)

by James Corbett, Mathew Dwyer, Hatcliff John, Corina Pasareanu, Laubach Robby, Shawn, Zheng Hongjun
Venue:Proceedings Proceedings of the 22nd International Conference on Software Engineering,,