Ramos, J.-P. 2023. Evaluating Soundness of a Gradual Verifier with Property Based Testing. Cornell Undergraduate Research Journal. 2, 1 (May 2023), 17–27. DOI:https://doi.org/10.37513/curj.v2i1.696.