Combining Model Checking and Symbolic Execution for Software Testing.
Corina S. PasareanuPublished in: TAP@TOOLS (2012)
Keyphrases
- model checking
- symbolic execution
- software testing
- test data generation
- test generation
- formal specification
- temporal logic
- test cases
- specification language
- model checker
- control flow
- simulated annealing algorithm
- software development
- formal methods
- quality assurance
- software systems
- software engineering
- computation tree logic
- symbolic model checking
- formal verification
- verification method
- bounded model checking
- generation algorithm
- epistemic logic
- test suite
- planning domains
- evolutionary algorithm
- search algorithm
- case study
- database