Ramos, J.-P. Evaluating Soundness of a Gradual Verifier With Property Based Testing. CURJ 2023, 2, 17-27.