Relational Symbolic Execution.
Gian Pietro FarinaStephen ChongMarco GaboardiPublished in: PPDP (2019)
Keyphrases
- symbolic execution
- static analysis
- test data generation
- test generation
- specification language
- source code
- relational databases
- data model
- data flow
- case study
- test cases
- relational data
- databases
- xml schema
- software testing
- description language
- regular expressions
- multi agent systems
- search algorithm
- genetic algorithm