Elijah Rivera -

Registered user since Wed 10 Jun 2020

Name:Elijah Rivera

Contributions

‹Programming› 2023	Committee Member in Artifact Evaluation Committee within the Artifacts-track
ICER 2022	Author of Plan Composition Using Higher-Order Functions within the Research Papers-track
‹Programming› 2022	Author of Automated, Targeted Testing of Property-Based Testing Predicates within the Research Papers-track