Generating counterexamples in the form of unit tests from hoare-style verification attempts-Reference-Cited by-同舟云学术

Generating counterexamples in the form of unit tests from hoare-style verification attempts

Published:2022-05-18 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering
language:
Short-container-title:

Author:

Nilizadeh Amirfarhad¹,Calvo Marlon¹,Leavens Gary T.¹,Cok David R.²

Affiliation:

1. University of Central Florida

2. Safer Software Consulting, LLC

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3524482.3527656

Reference46 articles.

1. Wolfgang Ahrendt , Bernhard Beckert , Richard Bubel , Reiner Hähnle , Peter H. Schmitt , and Mattias Ulbrich ( Eds .). 2016 . Deductive Software Verification - The KeY Book . Lecture Notes in Computer Science , Vol. 10001 . Springer-Verlag, Cham, Switzerland. Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, and Mattias Ulbrich (Eds.). 2016. Deductive Software Verification - The KeY Book. Lecture Notes in Computer Science, Vol. 10001. Springer-Verlag, Cham, Switzerland.

2. Search-based program synthesis

3. Fifty years of Hoare’s logic

4. Gianluca Barbon , Vincent Leroy , and Gwen Salaün . 2017. Debugging of Concurrent Systems Using Counterexample Analysis . In Fundamentals of Software Engineering , Mehdi Dastani and Marjan Sirjani (Eds.). Springer International Publishing , Cham , 20--34. Gianluca Barbon, Vincent Leroy, and Gwen Salaün. 2017. Debugging of Concurrent Systems Using Counterexample Analysis. In Fundamentals of Software Engineering, Mehdi Dastani and Marjan Sirjani (Eds.). Springer International Publishing, Cham, 20--34.

5. Bernhard Beckert , Reiner Hähnle , and Peter H . Schmitt . 2007 . Verification of Object-Oriented Software: The KeY Approach. Lecture Notes in Computer Science, Vol. 4334 . Springer-Verlag , Berlin. Bernhard Beckert, Reiner Hähnle, and Peter H. Schmitt. 2007. Verification of Object-Oriented Software: The KeY Approach. Lecture Notes in Computer Science, Vol. 4334. Springer-Verlag, Berlin.

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

1. A failed proof can yield a useful test;Software Testing, Verification and Reliability;2023-08-31

2. Toward a theory of program repair;Acta Informatica;2023-03-27

3. Seeding Contradiction: A Fast Method for Generating Full-Coverage Test Suites;Testing Software and Systems;2023

4. Improving Counterexample Quality from Failed Program Verification;2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW);2022-10

5. Automated Reasoning Repair;Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs;2022-06-07