works on
automated test generation 1bug detection 1property-based testing 1regression test generation 1search-based software engineering 1software testing 1

From the 1 of 1 linked paper with an AI index.

collaborators

1 paper

cs.SE2026

PROGRESS: Property-Guided Regression Search for Semantic Falsification

Davis Tocheuk Mo, Noshin Ulfat, Matthew B. Dwyer +1

PROGRESS combines property‑based testing with coverage‑guided, search‑based regression test generation to automatically create tests that reach deep program states and expose bugs…