Don't Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing.

Segev Elazar Mittelman, Aviel Resnick, Ivan Perez, Alwyn E. Goodloe, Leonidas Lampropoulos

Browse the full HASKELL paper archive.