Combining Symbolic Execution and Model Checking for Data Flow Testing.
Ting SuZhoulai FuGeguang PuJifeng HeZhendong SuPublished in: ICSE (1) (2015)
Keyphrases
- symbolic execution
- data flow
- model checking
- temporal logic
- formal specification
- formal verification
- model checker
- control flow
- automated verification
- temporal properties
- symbolic model checking
- computation tree logic
- object oriented software
- specification language
- epistemic logic
- verification method
- bounded model checking
- timed automata
- formal methods
- test data generation
- artificial intelligence
- concurrent systems
- test generation
- transition systems
- database
- alternating time temporal logic
- process algebra
- programming language
- object oriented
- evolutionary algorithm