Corbett, J. C. ; M. B. Dwyer, J. Hatcliff, S. Laubach, C. S. Pastreanu, Robby, and H. Zheng. Bandera : Extracting finite-state models from Java source code. In Proceedings of the 22nd International Conference on Software Engineering, June 2000.

Languages mentioned

• Bandera {2000}