Jessica Shi, Alperen Keles, Harrison Goldstein, Benjamin C. Pierce, Leonidas Lampropoulos. Etna: An Evaluation Platform for Property-Based Testing (Experience Report). Proceedings of the ACM on Programming Languages, 7(ICFP):878-894, August 2023. [doi]
@article{ShiKGPL23,
title = {Etna: An Evaluation Platform for Property-Based Testing (Experience Report)},
author = {Jessica Shi and Alperen Keles and Harrison Goldstein and Benjamin C. Pierce and Leonidas Lampropoulos},
year = {2023},
month = {August},
doi = {10.1145/3607860},
url = {https://doi.org/10.1145/3607860},
researchr = {https://researchr.org/publication/ShiKGPL23},
cites = {0},
citedby = {0},
journal = {Proceedings of the ACM on Programming Languages},
volume = {7},
number = {ICFP},
pages = {878-894},
}