How Test Generation Helps Software Specification and Deductive Verification in Frama-C.
Guillaume PetiotNikolai KosmatovAlain GiorgettiJacques JulliandPublished in: TAP@STAF (2014)
Keyphrases
- test generation
- test cases
- software testing
- quality assurance
- static analysis
- symbolic execution
- test data generation
- design automation
- software development
- regression testing
- test sequences
- software systems
- source code
- formal methods
- test suite
- mutation testing
- software components
- quality control
- testing process
- object oriented
- high level
- formal specification
- software maintenance
- specification language
- formal verification
- user interface
- machine vision
- monitoring system
- image quality
- image processing