PROGRESS: Property-Guided Regression Search for Semantic Falsification

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

Search-based regression-test generation effectively explores complex program structures, yielding high structural coverage, but its oracles are derived from the system under test:…