Checking Compliance to Coding Standards for x86 Executables. - Ziying Dai; Xiaoguang Mao; Dianlin Wang; Donghong Liu; Jie Zhang (UIC/ATC Workshops, 2010)

Light-Weight Test Oracles for Resource Leaks Based on Finalizers. - Ziying Dai; Xiaoguang Mao; Yuhua Qi; Kerong Ben (APSEC Workshops, 2012)

Effective Statistical Fault Localization Using Program Slices. - Yan Lei; Xiaoguang Mao; Ziying Dai; Chengsong Wang (COMPSAC, 2012)

Mining and checking web services behavior. - Xiaomin Wan; Xiaoguang Mao; Ziying Dai (INDIN, 2012)

More efficient automatic repair of large-scale programs using weak recompilation. - Yuhua Qi; Xiaoguang Mao; Yanjun Wen; Ziying Dai; Bin Gu (Sci. China Inf. Sci., 2012)

Effective Fault Localization Approach Using Feedback. - Yan Lei; Xiaoguang Mao; Ziying Dai; Dengping Wei (IEICE Trans. Inf. Syst., 2012)

Empirical Effectiveness Evaluation of Spectra-Based Fault Localization on Automated Program Repair. - Yuhua Qi; Xiaoguang Mao; Yan Lei; Ziying Dai; Yudong Qi; Chengsong Wang (COMPSAC, 2013)

Finding related events for specification mining. - Ziying Dai; Xiaoguang Mao; Liqian Chen; Yan Lei; Yi Zhang (ISSRE (Supplemental Proceedings), 2013)

Leveraging specifications of subcomponents to mine precise specifications of composite components. - Ziying Dai; Xiaoguang Mao; Yan Lei; Liqian Chen (WCRE, 2013)

Light-weight resource leak testing based on finalisers. - Ziying Dai; Xiaoguang Mao (IET Softw., 2013)

Resco: Automatic Collection of Leaked Resources. - Ziying Dai; Xiaoguang Mao; Yan Lei; Xiaomin Wan; Kerong Ben (IEICE Trans. Inf. Syst., 2013)

The strength of random search on automated program repair. - Yuhua Qi; Xiaoguang Mao; Yan Lei; Ziying Dai; Chengsong Wang (ICSE, 2014)

Slice-based statistical fault localization. - Xiaoguang Mao; Yan Lei; Ziying Dai; Yuhua Qi; Chengsong Wang (J. Syst. Softw., 2014)

Automatic recovery from resource exhaustion exceptions by collecting leaked resources. - Ziying Dai; Xiaoguang Mao; Liqian Chen; Yan Lei (J. Zhejiang Univ. Sci. C, 2014)