Segev Elazar Mittelman, Aviel Resnick, Ivan Perez 0001, Alwyn E. Goodloe, Leonidas Lampropoulos. Don't Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing. In Trevor L. McDonell, Niki Vazou, editors, Proceedings of the 16th ACM SIGPLAN International Haskell Symposium, Haskell 2023, Seattle, WA, USA, September 8-9, 2023. pages 59-71, ACM, 2023. [doi]
Abstract is missing.