et al., “Bandera: extracting finite-state models from Java source code (2000)

by J C Corbett, M B Dwyer, J Hatcliff
Venue:in Proceedings of the 22nd International Conference on Software Engineering (ICSE ’00