Extracting instruction semantics via symbolic execution of code generators.
Niranjan HasabnisR. SekarPublished in: SIGSOFT FSE (2016)
Keyphrases
- symbolic execution
- specification language
- source code
- static analysis
- test generation
- test data generation
- description language
- formal specification
- programming language
- data flow
- open source
- semantic information
- software projects
- software systems
- genetic algorithm
- neural network
- databases
- schema mappings
- database
- orders of magnitude
- evolutionary algorithm