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