NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Press Enter or click the Search button to begin your search.

Back to Results
Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing
External Source
chorus
Document Type
Version of Record
Authors
Segev Elazar Mittelman
Aviel Resnick
Ivan Perez
Alwyn E. Goodloe
Leonidas Lampropoulos
Date Acquired
October 26, 2026
Publication Information
Publication: Proceedings of the 16th ACM SIGPLAN International Haskell Symposium
Publisher: ACM
DOI: 10.1145/3609026.3609730
Funding Number(s)
funding: 2145649
funding: 80ARC020D0010
Distribution Limits
Public

Available Downloads

There are no available downloads for this record.

Related Records

There are no records associated with this record.
Document Not Available for PreviewClick to Access Document