Elazar Mittelman, Segev, Resnick, Aviel, Perez, Ivan, Goodloe, Alwyn E., and Lampropoulos, Leonidas. Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing. Retrieved from https://par.nsf.gov/biblio/10502033. Proceedings of the ACM SIGPLAN Haskell Symposium . Web. doi:10.1145/3609026.3609730.

Elazar Mittelman, Segev, Resnick, Aviel, Perez, Ivan, Goodloe, Alwyn E., & Lampropoulos, Leonidas. Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing. Proceedings of the ACM SIGPLAN Haskell Symposium, (). Retrieved from https://par.nsf.gov/biblio/10502033. https://doi.org/10.1145/3609026.3609730

Elazar Mittelman, Segev, Resnick, Aviel, Perez, Ivan, Goodloe, Alwyn E., and Lampropoulos, Leonidas. "Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing". Proceedings of the ACM SIGPLAN Haskell Symposium (). Country unknown/Code not available: ACM. https://doi.org/10.1145/3609026.3609730. https://par.nsf.gov/biblio/10502033.

@article{osti_10502033,
place = {Country unknown/Code not available}, title = {Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing}, url = {https://par.nsf.gov/biblio/10502033}, DOI = {10.1145/3609026.3609730}, abstractNote = {}, journal = {Proceedings of the ACM SIGPLAN Haskell Symposium}, publisher = {ACM}, author = {Elazar Mittelman, Segev and Resnick, Aviel and Perez, Ivan and Goodloe, Alwyn E. and Lampropoulos, Leonidas}, }