Bandera(ID:8199/)

Began: 2000

Model checking language for Java

References:

Corbett, J. C. ; M. B. Dwyer, J. Hatcliff, and Robby. A language framework for expressing checkable properties of dynamic software. In Proceedings of the SPIN Software Model Checking Workshop, volume 1885 of Lecture Notes in Computer Science, Aug. 2000. view details

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. view details