Bandera: Extracting Finite-state Models from Java source code (2000)

by J C Corbett, M B Dwyer, J Hatcliff, S Laubach, C S Păsăreanu, Robby, H Zheng
Venue:In Proceedings of the 22nd International Conference on Software Engineering (ICSE’00