Run-time assertion checking of JML annotations in multithreaded applications with e-OpenJML-Reference-Cited by-同舟云学术

Run-time assertion checking of JML annotations in multithreaded applications with e-OpenJML

Published:2015 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs - FTfJP '15
language:
Short-container-title:

Author:

Kandziora Jorne,Huisman Marieke,Bockisch Christoph,Zaharieva-Stojanovski Marina

Funder

ERC

Publisher

ACM Press

Reference22 articles.

1. E. E. Aftandilian, S. Z. Guyer, M. Vechev, and E. Yahav. Asynchronous assertions. InOOPSLA '11, pages 275--288. ACM Press, 2011.

2. B. Alpern, S. Augart, S. M. Blackburn, M. Butrico, A. Cocchi, P. Cheng, J. Dolby, S. Fink, D. Grove, M. Hind, K. S. McKinley, M. Mergen, J. E. B. Moss, T. Ngo, V. Sarkar, and M. Trapp. The Jikes Research Virtual Machine project: Building an open-source research community.IBM Systems Journal, 44(2):399--417, 2005.

3. A. Amighi, S. Blom, S. Darabi, M. Huisman, W. Mostowski, and M. Zaharieva-Stojanovski. Verification of concurrent systems with VerCors. InSFM-14:ESM, volume 8483 ofLNCS, pages 172--216. Springer, 2014.

4. W. Araujo, L. C. Briand, and Y. Labiche. Enabling the runtime assertion checking of concurrent contracts for the Java modeling language. InICSE '11, page 786. ACM Press, 2011.

5. S. Blackburn, R. Garner, and D. Frampton. MMTk: The Memory Management Toolkit, 2006.

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The e-ACSL perspective on runtime assertion checking;Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution;2021-07-11

2. Run-Time Checking Multi-threaded Java Programs;Lecture Notes in Computer Science;2016