Ramos, Jan-Paul. 2023. “Evaluating Soundness of a Gradual Verifier With Property Based Testing”. Cornell Undergraduate Research Journal 2 (1):17-27. https://doi.org/10.37513/curj.v2i1.696.