Yuzhou Fang, Chenyu Zhou, Jingbo Wang, Chao Wang: Efficient Symbolic Execution of Software Under Fault Attacks. ECOOP 2026: 4:1-4:25