Hang Du, Vijay Krishna Palepu, James Jones
Software Engineering Empirical Research Radar
Revealing Regressions: A Comparative Study of State-Capture Strategies in Validating Program Behavior
Paper detail page in SEER Radar.
FSE 2026
Testing / QA; Program Analysis / Verification / Formal Methods; Debugging / Fault Localization / Diagnosis / Repair
Latency Diagnosis & Evidence
Abstract / Summary
This study systematically varies state-observation scope, extraction approach and depth across twelve projects. It shows that small choices in captured evidence materially change regression-revealing power and oracle richness, providing a strong methodological analogue for evidence-drift and diagnostic-report design.
External Links
Local PDF is not available on SEER Radar yet. When a public source is recorded, this page will add a local reading link with source attribution.