2026 | FM 2026 / Formal Methods, LNCS 16557
ConFixer: Robustness Semantics Based Configuration Bug Fixing for Automated Driving Systems
ConFixer repairs automated driving system configuration bugs using STL robustness signals and closed-loop automated validation to prevent regression errors.
configuration bugsrobustness semanticsformal methodsautomated driving
ConFixer is a co-first-author paper for Songyang Yan. The work sits at the intersection of automated driving system reliability, robustness semantics, and automated validation, extending his testing research from scenario generation toward fault repair.