OpenJML: JML for Java 7 by Extending OpenJDK-Reference-Cited by-同舟云学术

OpenJML: JML for Java 7 by Extending OpenJDK

Published:2011 Issue: Volume: Page:472-479
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Cok David R.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-20398-5_35

Reference22 articles.

1. Lecture Notes in Computer Science;M. Barnett,2005

2. Lecture Notes in Artificial Intelligence,2007

3. ENTCS;L. Burdy,2003

4. Chalin, P., Robby, James, P., Lee, J., Karabotsos, G.: Towards an industrial grade IVE for Java and next generation research platform for JML. STTT 12, 429–446 (2010) 10.1007/s10009-010-0164-8

5. Cheon, Y., Leavens, G.T.: A runtime assertion checker for the Java Modeling Language (JML). In: Arabnia, H.R., Mun, Y. (eds.) Proceedings of the International Conference on Software Engineering Research and Practice (SERP 2002), Las Vegas, Nevada, USA, June 24-27, pp. 322–328. CSREA Press (2002)

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

1. The Java Verification Tool KeY:A Tutorial;Lecture Notes in Computer Science;2024-09-13

2. Does Going Beyond Branch Coverage Make Program Repair Tools More Reliable?;2024 IEEE Conference on Software Testing, Verification and Validation (ICST);2024-05-27

3. Translating meaning representations to behavioural interface specifications;Journal of Systems and Software;2024-05

4. First Steps towards Deductive Verification of LLVM IR;Lecture Notes in Computer Science;2024

5. Toward Using Fuzzers and Lightweight Specifications to Reveal Semantic Bugs.;The Journal of Object Technology;2024