Ramos, Jan-Paul. “Evaluating Soundness of a Gradual Verifier With Property Based Testing”. Cornell Undergraduate Research Journal 2, no. 1 (May 8, 2023): 17–27. Accessed May 15, 2026. https://journals.library.cornell.edu/index.php/CURJ/article/view/696.