Database-Aware Program Optimization via Static Analysis.
Karthik RamachandraRavindra GuravannavarPublished in: IEEE Data Eng. Bull. (2014)
Keyphrases
- static analysis
- database
- dynamic analysis
- symbolic execution
- source code
- databases
- database systems
- malicious code
- database applications
- java card
- regular expressions
- test suite
- data model
- data management
- database management systems
- test generation
- abstract interpretation
- control flow
- data flow
- optimization problems
- relational databases
- data sets