BOOK-CHAPTER

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

Guillaume PetiotNikolaï KosmatovAlain GiorgettiJacques Julliand

Year: 2014 Lecture notes in computer science Pages: 204-211   Publisher: Springer Science+Business Media
Keywords:
Computer science Concolic testing Software verification Programming language Plug-in Intelligent verification Set (abstract data type) Generator (circuit theory) Software engineering Verification Test (biology) Functional verification Software Formal verification Symbolic execution Software development Software construction

Metrics

13
Cited By
2.23
FWCI (Field Weighted Citation Impact)
23
Refs
0.85
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Citation History

Topics

Software Testing and Debugging Techniques
Physical Sciences →  Computer Science →  Software
Formal Methods in Verification
Physical Sciences →  Computer Science →  Computational Theory and Mathematics
Security and Verification in Computing
Physical Sciences →  Computer Science →  Artificial Intelligence
© 2026 ScienceGate Book Chapters — All rights reserved.