Bandera: Extracting finite-state models from Java source code (0)

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