Further Lessons from the JML Project-Reference-Cited by-同舟云学术

Further Lessons from the JML Project

Published:2022 Issue: Volume: Page:313-349
ISSN:0302-9743
Container-title:The Logic of Software. A Tasting Menu of Formal Methods
language:
Short-container-title:

Author:

Leavens Gary T.,Cok David R.,Nilizadeh Amirfarhad

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-031-08166-8_15

Reference148 articles.

1. Ahrendt, W.: The Java Modeling Language - a basis for static and dynamic verification, June 2018. https://youtu.be/9ItK0jxJ0oQ

2. Lecture Notes in Computer Science,2016

3. Banerjee, A., Naumann, D.A.: Local reasoning for global invariants, part ii: dynamic boundaries. J. ACM 60(3), 19:1–19:73 (2013). https://doi.org/10.1145/2485981. http://doi.acm.org/10.1145/2485981

4. Banerjee, A., Naumann, D.A., Rosenberg, S.: Local reasoning for global invariants, part i: region logic. J. ACM 60(3), 18:1–18:56 (2013). https://doi.org/10.1145/2485982. http://doi.acm.org/10.1145/2485982

5. Bao, Y.: Reasoning about frame properties in object-oriented programs. Technical report, CS-TR-17-05, Computer Science, University of Central Florida, Orlando, Florida, December 2017. The author’s dissertation. https://goo.gl/WZGMiB

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

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

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

3. What kinds of contracts do ML APIs need?;Empirical Software Engineering;2023-10-17

4. 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