Enabling the runtime assertion checking of concurrent contracts for the Java modeling language

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2011, Pages 786-795

  Araujo, Wladimir ^a   Briand, Lionel C ^b   Labiche, Yvan ^c  

^a JUNIPER NETWORKS   (United States)

^b UNIVERSITY OF OSLO   (Norway)

^c CARLETON UNIVERSITY   (Canada)

Author keywords

concurrency; design by contract; java; jml; object oriented programming

Indexed keywords

CONCURRENCY; CONCURRENT JAVA PROGRAMS; CONCURRENT PROGRAM; DESIGN BY CONTRACT; DESIGN BY CONTRACTS; FUNCTIONAL FAULTS; INDUSTRIAL SYSTEMS; JAVA; JAVA MODELING LANGUAGE; JAVA PROGRAM; JML; RUNTIME ASSERTION; RUNTIME ASSERTION CHECKING; SEQUENTIAL PROGRAMS; SYSTEM TESTING;

COMPUTER SIMULATION LANGUAGES; COMPUTER SOFTWARE; OBJECT ORIENTED PROGRAMMING;

JAVA PROGRAMMING LANGUAGE;

EID: 79959880513     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1985793.1985903     Document Type: Conference Paper

References (15)

1. America, P. Designing an Object-Oriented Programming Language with Behavioural Subtyping. In Proc. REX School/Workshop on Foundations of Object-Oriented Languages. 1990, 60-90.
2. Araujo, W. Assessing the Effectiveness of Design Contracts as Test Oracles in the Detection of Faults in Concurrent Object-Oriented Software. Doctoral Thesis, Carleton University, Ottawa, 2010.
3. Araujo, W., Briand, L. and Labiche, Y. Concurrent Contracts for Java in JML. In Proc. ISSRE. 2008, 37-46.
4. Arnold, K., Gosling, J. and Holmes, D. The Java Programming Language. Addison-Wesley, 2000.
5. Arslan, V., Eugster, P., Nienaltowski, P. and Vaucouleur, S. SCOOP - concurrency made easy. In Proc. Dependable Systems: Software, Computing, Networks. 2006, 82-102. (Pubitemid 351150266)
6. Cheon, Y. and Leavens, G. T. A Runtime Assertion Checker for the Java Modeling Language (JML) In Proc. SERP. 2002, 322-328.
7. Dhara, K. and Leavens, G. T. Forcing Behavioural Subtyping Through Specification Inheritance. In Proc. ICSE. 1996, 258-267.
8. Greenhouse, A., Halloran, T. J. and Scherlis, W. L. Observations on the assured evolution of concurrent Java programs. Science of Computer Programming, 58, 3, 384-411.
9. Jacobs, B., Leino, R. M., Piessens, F. and Schulte, W. Safe concurrency for aggregate objects with invariants. In Proc. SEFM. 2005, 137-147.
10. Leavens, G. T., Baker, A. L. and Ruby, C. Preliminary design of JML: A behavioral interface specification language for Java. ACM SIGSOFT Software Engineering Notes, 31, 3, 1-38.
11. Lindholm, T. and Yellin, F. The Java virtual machine specification. Addison-Wesley, Reading, MA, 1999.
12. Meyer, B. Design by Contract. IEEE Computer, 25, 10 (Oct. 1992), 40-52.
13. Nienaltowski, P. and Meyer, B. Contracts for concurrency. In Proc. International Symposium on Concurrency, Real-Time and Distribution in Eiffel-like Languages. 2006.
14. Rodríguez, E., Dwyer, M., Flanagan, C., Hatcliff, J., Leavens, G. T. and Robby. Extending JML for Modular Specification and Verification of Multi-threaded Programs. In Proc. ECOOP. 2005, 551-576. (Pubitemid 41435997)
15. Weikum, G. and Vossen, G. Transactional information systems : theory, algorithms, and the practice of concurrency control and recovery. Morgan Kaufmann, 2002.