ICFP 2023
Mon 4 - Sat 9 September 2023 Seattle, Washington, United States

Our artifact contains the source code for Etna, a platform for empirical evaluation and comparison of property-based testing techniques. This includes code in Python, Haskell, and Coq. The README provides detailed instructions on how to reproduce the experiments in the paper, and the VM image comes pre-installed with the required dependencies.