Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan
CLOTHO: directed test generation for weakly consistent database systems
OOPSLA, 2019.
@article{OOPSLA-2019-RahmaniNDJ,
author = "Kia Rahmani and Kartik Nagar and Benjamin Delaware and Suresh Jagannathan",
doi = "10.1145/3360543",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "OOPSLA",
pages = "28",
publisher = "{ACM}",
title = "{CLOTHO: directed test generation for weakly consistent database systems}",
volume = 3,
year = 2019,
}