J.-P. Ramos, “Evaluating Soundness of a Gradual Verifier with Property Based Testing”, CURJ, vol. 2, no. 1, pp. 17–27, May 2023.