Query-Driven Program Testing.
Andreas HolzerChristian SchallhartMichael TautschnigHelmut VeithPublished in: VMCAI (2009)
Keyphrases
- database
- test cases
- query processing
- query evaluation
- response time
- user queries
- data structure
- retrieval systems
- semantically equivalent
- keywords
- symbolic execution
- computer programs
- query formulation
- database queries
- search based software testing
- range queries
- query expansion
- relevance feedback
- data sources
- communication cost
- retrieval method
- complex queries
- static analysis
- multimedia
- databases