CLOTHO: Directed Test Generation for Weakly Consistent Database Systems.
Kia RahmaniKartik NagarBenjamin DelawareSuresh JagannathanPublished in: CoRR (2019)
Keyphrases
- test generation
- database systems
- test cases
- test sequences
- design automation
- symbolic execution
- static analysis
- query processing
- software testing
- database
- data model
- query optimization
- quality assurance
- code coverage
- database management systems
- data sets
- data management
- relational databases
- databases
- database applications
- test data generation
- mutation testing