Address-Aware Query Caching for Symbolic Execution.

David Trabish Shachar Itzhaky Noam Rinetzky

Published in: ICST (2021)

Keyphrases

symbolic execution
query processing
database
query result
response time
caching strategies
query evaluation
test generation
static analysis
test data generation
database systems
specification language
databases
source code
domain independent