Propagation Analysis

(FSE 2026) Revealing Regressions: A Comparative Study of State-Capture Strategies in Validating Program Behavior
*A central challenge in software testing is deciding which parts of a program’s state to check as evidence of correct behavior to …
Cite DOI
(ICSE 2025) Leveraging Propagated Infection to Crossfire Mutants
*Mutation testing was proposed to identify weaknesses in test suites by repeatedly generating artificially faulty versions of the …
Cite DOI
(ICSE 2025) Leveraging Propagated Infection to Crossfire Mutants