Bandera: Extracting models from java source code (2000)

by J C Corbett, M B Dwyer, J Hatcli, S Laubach, C S Pasareanu, Robby, H Zheng
Venue:In ICSE 2000