Branch Sequence Coverage Criterion for Testing-Based Formal Verification with Symbolic Execution.
Rong WangShaoying LiuPublished in: QRS Companion (2019)
Keyphrases
- formal verification
- symbolic execution
- test generation
- test data generation
- model checking
- static analysis
- source code
- specification language
- model checker
- automated verification
- bounded model checking
- test cases
- test suite
- data flow
- symbolic model checking
- general purpose
- software development
- neural network
- data sets
- database