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