A deadlock detection tool for concurrent Java programs

Software - Practice and Experience

Volumn 29, Issue 7, 1999, Pages 577-603

  Demartini, Claudio ^a   Iosif, Radu ^a   Sisto, Riccardo ^a  

^a POLITECNICO DI TORINO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

PROMELA PROGRAMMING LANGUAGE; SOFTWARE PACKAGE SPIN;

COMPUTER SYSTEM RECOVERY; COMPUTER SYSTEMS PROGRAMMING; CONCURRENT ENGINEERING; PARALLEL PROCESSING SYSTEMS; PROGRAM TRANSLATORS;

JAVA PROGRAMMING LANGUAGE;

EID: 0032679915     PISSN: 00380644     EISSN: None     Source Type: Journal    
DOI: 10.1002/(SICI)1097-024X(199906)29:7<577::AID-SPE246>3.0.CO;2-V     Document Type: Article

References (16)

1. J. Gosling, B. Joy and G. Steele, The Java Language Specification, Addison Wesley, 1996.
2. G. J. Holzmann, Design and Validation of Computer Protocols, Prentice Hall, 1991.
3. G. J. Holzmann, 'The model checker SPIN', IEEE Trans. on Software Engineering, 23(5), 279-295 (May 1997).
4. J. C. Corbett, 'Evaluating deadlock detection methods for concurrent software', IEEE Trans. on Software Engineering, 22(3), 161-180 (March 1996).
5. S. Duri, U. Buy, R. Devarapalli and S. Shatz, 'Using state space reduction methods for deadlock analysis in Ada tasking', Proc. ISSTA'93, Int. Symp. on Software Testing and Analysis, Cambridge, MA, June 1993, pp. 51-60.
6. S. M. Shatz, K. Mai and C. Black, 'Design and implementation of a Petri net based toolkit for Ada tasking analysis', IEEE Transactions on Parallel and Distributed Systems, 1(4), 424-441 (October 1990).
7. D. Long and L. A. Clarke, 'Data flow analysis of concurrent systems that use the rendezvous model for synchronization', Proc. TAV'91, Int. Symp. on Software Testing, Analysis and Verification, Victoria, BC, October 1991, pp. 21-35.
8. M. Young, 'A concurrency analysis tool suite for Ada', SERC Technical Report TR-1288-P, November 1994.
9. T. Cattel, 'Modeling and verification of sC++ applications', Proc. TACAS98, Tools and Algorithms for the Construction and Analysis of Systems, Lisbon, Portugal, April 1998.
10. G. S. Avrunin, U. A. Buy, J. C. Corbett, L. K. Dillon and J. C. Wileden, 'Automated analysis of concurrent systems with the constrained expression toolset', IEEE Trans. on Software Engineering, 17(11), 1204-1224 (November 1991).
11. J. C. Corbett, 'Constructing compact models of concurrent Java programs', Proc. ISSTA'98, Int. Symp. on Software Testing and Analysis, March 1998, pp. 1-10.
12. C. Demartini and R. Sisto, 'Static analysis of Java multithreaded and distributed applications', Proc. PDSE'98, Int. Symp. on Software Engineering for Parallel and Distributed Systems, Kyoto, Japan, April 1998, pp. 215-222.
13. I. C. Pyle, The Ada Programming Language, Prentice Hall, 1981.
14. H. Ball, Programming Distributed Systems, Prentice Hall, 1990.
15. D. Lea, Concurrent Programming in Java, Addison Wesley, 1996.
16. A. V. Aho, R. Sethi and J. D. Ullman, Compilers: Principles, Techniques and Tools, Addison Wesley, 1986.