Symbolic Execution of Transition Systems with Function Summaries.
Imen BoudhibaChristophe GastonPascale Le GallVirgile PrevostoPublished in: TAP@STAF (2017)
Keyphrases
- object oriented
- symbolic execution
- transition systems
- data flow
- relational databases
- model checking
- control flow
- test generation
- temporal logic
- software engineering
- test data generation
- test cases
- static analysis
- concurrent systems
- general purpose
- distributed systems
- learning algorithm
- finite state
- specification language
- reinforcement learning