How Test Generation Helps Software Specification and Deductive Verification in Frama-C-Reference-Cited by-同舟云学术

How Test Generation Helps Software Specification and Deductive Verification in Frama-C

Published:2014 Issue: Volume: Page:204-211
ISSN:0302-9743
Container-title:Tests and Proofs
language:
Short-container-title:

Author:

Petiot Guillaume,Kosmatov Nikolai,Giorgetti Alain,Julliand Jacques

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-09099-3_16

Reference19 articles.

1. Lecture Notes in Computer Science;K.Y. Ahn,2010

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

3. Beyer, D., Henzinger, T., Theoduloz, G.: Program analysis with dynamic precision adjustment. In: ASE (2008)

4. Botella, B., Delahaye, M., Hong Tuan Ha, S., Kosmatov, N., Mouy, P., Roger, M., Williams, N.: Automating structural testing of C programs: Experience with PathCrawler. In: AST (2009)

5. Brucker, A.D., Wolff, B.: On theorem prover-based testing. FAC (2012)

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

1. How Variables Graphs May Help to Correct Erroneous MAS Specifications;Lecture Notes in Networks and Systems;2024

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

3. From Formal Test Objectives to TTCN-3 for Verifying ETCS Complex Software Control Systems;Communications in Computer and Information Science;2020

4. Verifying Complex Software Control Systems from Test Objectives: Application to the ETCS System;Proceedings of the 14th International Conference on Software Technologies;2019

5. How testing helps to diagnose proof failures;Formal Aspects of Computing;2018-11