Automated coverage-driven testing: combining symbolic execution and model checking.
Ting SuGeguang PuWeikai MiaoJifeng HeZhendong SuPublished in: Sci. China Inf. Sci. (2016)
Keyphrases
- symbolic execution
- model checking
- specification language
- formal specification
- test generation
- model checker
- static analysis
- test suite
- temporal logic
- test data generation
- test cases
- formal verification
- source code
- temporal properties
- automated verification
- data flow
- computation tree logic
- symbolic model checking
- transition systems
- bounded model checking
- formal methods
- timed automata
- epistemic logic
- asynchronous circuits
- software testing
- verification method
- process algebra
- search algorithm
- alternating time temporal logic
- linear temporal logic
- description language
- open source
- concurrent systems
- simulated annealing algorithm
- programming language
- evolutionary algorithm