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

by J C Corbett, M B Dwyer, J Hatcliff, S Laubach, C S Pasareanu, H Zheng
Venue:In IN PROCEEDINGS OF THE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING