Bandera: A source-level interface for model checking Java programs

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2000, Pages 762-765

  Corbett, James C ^a   Dwyer, Matthew B ^b   Hatcliff, John ^b   Robby, R ^b  

^a University of Hawai'i at Manoa   (United States)

^b Sunflower Networking Group   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

MODEL CHECKING; PROGRAM ANALYSIS; PROGRAM TESTING; SOFTWARE PACKAGE BANDERA;

ALGORITHMS; COMPUTER SIMULATION; COMPUTER SYSTEM RECOVERY; FINITE AUTOMATA; JAVA PROGRAMMING LANGUAGE; PROGRAM DEBUGGING; PROGRAM DIAGNOSTICS; USER INTERFACES;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0033716154     PISSN: 02705257     EISSN: None     Source Type: Journal    
DOI: 10.1109/ICSE.2000.870490     Document Type: Article

References (3)

1. J. C. Corbett, M. B. Dwyer, J. Hatcliff, S. Laubach, C. S. PSsSreanu, Robby, and H. Zheng. Bandera: Extracting finite-state models from Java source code. Iii Proceedings of the 22nd International Conference' on Software Engineering, June 2000.
2. G.J. Holzmann. The model checker SPIN. IEEE Transactions on Software Engineering, 23(5):279-294, May 1997.
3. K. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.