Login / Signup
Segev Elazar Mittelman
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Website
Search Space
Human Subjects
Top Venues
Haskell
</>
Publications
</>
Segev Elazar Mittelman
,
Aviel Resnick
,
Ivan Perez
,
Alwyn E. Goodloe
,
Leonidas Lampropoulos
Don't Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing.
Haskell
(2023)