TBFV-SE: Testing-Based Formal Verification with Symbolic Execution.
Rong WangShaoying LiuPublished in: QRS (2018)
Keyphrases
- formal verification
- symbolic execution
- test generation
- test data generation
- static analysis
- model checking
- specification language
- bounded model checking
- model checker
- source code
- automated verification
- test cases
- symbolic model checking
- data flow
- formal specification
- simulated annealing algorithm
- artificial intelligence
- data sets
- software testing
- database
- temporal logic
- databases
- test set
- decision trees
- neural network