Bandera: Extracting finitestate 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 Proc. of the 22nd Int. Conf. on Software Eng