How the design of JML accommodates both runtime assertion checking and formal verification-Reference-Cited by-同舟云学术

How the design of JML accommodates both runtime assertion checking and formal verification

Published:2005-03 Issue:1-3 Volume:55 Page:185-208
ISSN:0167-6423
Container-title:Science of Computer Programming
language:en
Short-container-title:Science of Computer Programming

Author:

Leavens Gary T.,Cheon Yoonsik,Clifton Curtis,Ruby Clyde,Cok David R.

Publisher

Elsevier BV

Subject

Software

Reference92 articles.

1. A tool-supported proof system for multithreaded Java;Abraham-Mumm,2003

2. Inheritance and subtyping in a parallel object-oriented language;America,1987

3. Designing an object-oriented programming language with behavioural subtyping;America,1991

4. The Java Programming Language Third Edition;Arnold,2000

5. A logic covering undefinedness in program proofs;Barringer;Acta Informatica,1984

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

1. Enabling Efficient Assertion Inference;2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE);2023-10-09

2. SpecFuzzer: A Tool for Inferring Class Specifications via Grammar-Based Fuzzing;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11

3. JMLKelinci+: Detecting Semantic Bugs and Covering Branches with Valid Inputs using Coverage-Guided Fuzzing and Runtime Assertion Checking;Formal Aspects of Computing;2023-08-05

4. Python-by-contract dataset;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07

5. Fuzzing class specifications;Proceedings of the 44th International Conference on Software Engineering;2022-05-21