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

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

Public reference bibliography and cataloged PDF materials authored or published by Segev Elazar Mittelman, Aviel Resnick, Ivan Perez, Alwyn E. Goodloe, Leonidas Lampropoulos.

Found 1 document(s) Page 1 of 1

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

Year: 2026 • Source: ntrs.nasa.gov • External Catalog