Cited By
View all- Bueso de Barrio LFredlund LBenac Earle CHerranz ÁMariño JOzkan BFernandez-Reyes K(2023)Generation and Refinement of Testing ModelsProceedings of the 22nd ACM SIGPLAN International Workshop on Erlang10.1145/3609022.3609415(14-23)Online publication date: 30-Aug-2023
- Shi JKeles AGoldstein HPierce BLampropoulos L(2023)Etna: An Evaluation Platform for Property-Based Testing (Experience Report)Proceedings of the ACM on Programming Languages10.1145/36078607:ICFP(878-894)Online publication date: 31-Aug-2023
- Paraskevopoulou ZEline ALampropoulos LJhala RDillig I(2022)Computing correctly with inductive relationsProceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation10.1145/3519939.3523707(966-980)Online publication date: 9-Jun-2022
- Show More Cited By