Fault Localization via Efficient Probabilistic Modeling of Program Semantics. - Muhan Zeng; Yiqian Wu; Zhentao Ye; Yingfei Xiong 001; Xin Zhang 035; Lu Zhang 023 (ICSE, 2022)

SmartFL: Semantics Based Probabilistic Fault Localization. - Yiqian Wu; Yujie Liu 005; Yi Yin; Muhan Zeng; Zhentao Ye; Xin Zhang 035; Yingfei Xiong 001; Lu Zhang 023 (IEEE Trans. Software Eng., 2025)