Deadlock-Detection in Java-Library using Static-Analysis

Neonatal, Paediatric and Child Health Nursing

Volumn , Issue , 2008, Pages 361-368

  Shanbhag, Vivek K ^a  

^a INTERNATIONAL INSTITUTE OF INFORMATION TECHNOLOGY   (India)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 60849106664     PISSN: 14416638     EISSN: None     Source Type: Journal    
DOI: 10.1109/APSEC.2008.68     Document Type: Conference Paper

References (11)

1. K. Arnold, J. Gosling, and D. Holmes. The Java Programming Language, Third Edition. Pearson Education (Singapore) Pte. Ltd., Indian Branch, 482 F.I.E. Patparganj, Delhi 110-092, India., 2000.
2. J. C. Corbett, M. B. Dwyer, J. Hatcliff, S. Laubach, C. S. Pasareanu, Robby, and H. Zheng. Bandera: extracting finite-state models from Java source code. In Software Engineering, 2000. Proceedings of the 2000 International Conference on, pages 439-448, 2000.
3. B. Goetz, T. Peierls, J. Bloch, J. Bowbeer, D. Holmes, and D. Lea. Java concurrency in practice. Addison-Wesley, Pearson Education, March 2006.
4. J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java Language Specification, 2nd Edition. Addison-Wesley, 2000.
5. T. Lindholm and F. Yellin. The Java Virtual Machine Specification, Second Edition. Addison-Wesley, 1999. Web: http://java.sun.com/docs/books/ jvms/.
6. S. Microsystems. Java annotations tutorial page. Web: java.sun.com/j2se/1.5.0/docs/guide/language/annotations.html.
7. S. Microsystems. Sun software bug information. Web: bugs.sun.com/view- bug.do?6232022 or 6199320.
8. S. Microsystems. Sun software bug information. Web: bugs.sun.com/view- bug.do?6588239.
9. C. von Praun. Detecting Synchronization Defects in Multi-Threaded Object-Oriented Programs. PhD thesis, Swiss Federal Institute of Technology Zurich (ETH Zurich), 2004.
10. A. Williams, W. Thies, and M. D. Earnst. Static deadlock detection in Java libraries. In ECOOP 2005 -Object-Oriented Programming, 19th European Conference, July 2005.
11. A.L.Williams. Static detection of deadlock for Java libraries. Master's thesis, Massachusetts Institute of Technology, June 2005.