Bandera: Extracting Þnite-state models from Java source code (2000)

by J Corbett, M Dwyer, J Hatcliff, C Pasareanu, S Laubach Robby, H Zheng
Venue:In Proc. 22nd International Conference on Software Engineering