TY  - RPRT
TI  - CLOTHO: Directed Test Generation for Weakly Consistent Database Systems
AU  - Kia Rahmani
AU  - Kartik Nagar
AU  - Benjamin Delaware
AU  - Suresh Jagannathan
PY  - 2019
UR  - https://arxiv.org/abs/1908.05655
ID  - 1908.05655
ER  -