Java model checking

Proceedings ASE 2000: 15th IEEE International Conference on Automated Software Engineering

Volumn , Issue , 2000, Pages 253-256

  Park, D Y W ^a   Stern, U ^a   Skakkebaek J U ^a,b   Dill, D L ^a  

^a Stanford University   (United States)

^b Adomo   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER SOFTWARE; JAVA PROGRAMMING LANGUAGE; SOFTWARE ENGINEERING;

INTERMEDIATE LANGUAGES; JAVA LANGUAGE; JAVA PROGRAM; MODEL CHECKER; MULTI-THREADED JAVA PROGRAMS; STATE EXPLOSION PROBLEMS; SYMBOLIC ANALYSIS; TRADITIONAL MODELS;

MODEL CHECKING;

EID: 9444225601     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2000.873671     Document Type: Conference Paper

References (13)

1. D. L. Bruening. Systematic testing of multithreaded Java programs. Master's thesis, MIT, 1999.
2. J. Corbett, M. B. Dwyer, J. Hatcliff, S. Laubach, C. S. Pǎsǎreanu, Robby, and H. Zheng. Bandera: Extracting finite-state models from Java source code. In 22nd International Conference on Software Engineering, 2000. To appear.
3. C. Demartini, R. Iosif, and R. Sisto. A deadlock detection tool for concurrent Java programs. Software - Practice and Experience, 29(7):577-603, 1999.
4. D. L. Dill. The Murφ verification system. In Computer Aided Verification. 8th International Conference, pages 390-3, 1996.
5. C. Flanagan and S. N. Freund. Type-based race detection for Java. In ACM Conference on Programming Language Design and Implementation, 2000. To appear.
6. P. Godefroid. Partial-order methods for the verification of concurrent systems - an approach to the state-explosion problem. In Lecture Notes in Computer Science, volume 1032, 1996.
7. K. Havelund and T. Pressburger. Model checking Java programs using Java PathFinder. International Journal on Software Tools for Technology Transfer. To appear.
8. G. J. Holzmann. The model checker SPIN. IEEE Transactions on Software Engineering, 23(5):279-94, 1997.
9. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. E. Anderson. Eraser: A dynamic data race detector for multithreaded programs. ACM Transactions on Computer Systems, 15(4):391-411, 1997.
10. U. Stern. Algorithmic Techniques in Verification by Explicit State Enumeration. PhD thesis, Technical University of Munich, 1997.
11. The SAL Group. The SAL Intermediate Language. Technical report, UC Berkeley, SRI, Stanford University, 1999.
12. R. Vallee-Rai and L. J. Hendren. Jimple: Simplifying Java bytecode for analyses and transformations. Technical report, Sable Research Group, McGill University, 1998.
13. P. Wolper and D. Leroy. Reliable hashing without collision detection. In Computer Aided Verification. 5th International Conference, pages 59-70, 1993.