Your Proof Fails? Testing Helps to Find the Reason-Reference-Cited by-同舟云学术

Your Proof Fails? Testing Helps to Find the Reason

Published:2016 Issue: Volume: Page:130-150
ISSN:0302-9743
Container-title:Tests and Proofs
language:
Short-container-title:

Author:

Petiot Guillaume,Kosmatov Nikolai,Botella Bernard,Giorgetti Alain,Julliand Jacques

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-41135-4_8

Reference43 articles.

1. Lecture Notes in Computer Science;KY Ahn,2010

2. Arlt, S., Arenis, S.F., Podelski, A., Wehrle, M.: System testing and program verification. In: Software Engineering & Management (2015)

3. Arndt, J.: Matters Computational-Ideas, Algorithms, Source Code [The fxtbook] (2010). http://www.jjj.de

4. Baudin, P., Cuoq, P., Filliâtre, J.C., Marché, C., Monate, B., Moy, Y., Prevosto, V.: ACSL: ANSI/ISO C Specification Language. http://frama-c.com/acsl.html

5. Berghofer, S., Nipkow, T.: Random testing in Isabelle/HOL. In: SEFM (2004)

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

1. Combining Analyses Within Frama-C;Computer Science Foundations and Applied Logic;2024

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

3. Language Design Meets Verifying Compilers (Keynote);Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences;2022-11-29

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

5. How the Analyzer can Help the User Help the Analyzer;Electronic Proceedings in Theoretical Computer Science;2021-08-06