CLOTHO: directed test generation for weakly consistent database systems.
Kia RahmaniKartik NagarBenjamin DelawareSuresh JagannathanPublished in: Proc. ACM Program. Lang. (2019)
Keyphrases
- test generation
- database systems
- test cases
- symbolic execution
- test sequences
- quality assurance
- static analysis
- software testing
- design automation
- query optimization
- mutation testing
- database applications
- database
- data model
- data management
- helmholtz principle
- query processing
- database management systems
- multi agent systems
- code coverage
- reverse engineering
- test suite
- artificial intelligence
- databases