Xiaoguang MAO


Optimization Methods for Nop-Shadows Typestate Analysis
Chengsong WANG Xiaoguang MAO Yan LEI Peng ZHANG 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2015/06/01
Vol. E98-D  No. 6  pp. 1213-1227
Type of Manuscript:  PAPER
Category: Dependable Computing
Keyword: 
typestate analysisruntime monitoringstatic analysisNop-shadows Analysisdata-flow analysis
 Summary | Full Text:PDF(1.2MB)

Fault Localization Using Failure-Related Contexts for Automatic Program Repair
Ang LI Xiaoguang MAO Yan LEI Tao JI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2015/04/01
Vol. E98-D  No. 4  pp. 955-959
Type of Manuscript:  LETTER
Category: Software Engineering
Keyword: 
automatic repairfault localizationfailure-related contextprogram slicingsuspiciousness evaluation
 Summary | Full Text:PDF(336KB)

Enriching Contextual Information for Fault Localization
Zhuo ZHANG Xiaoguang MAO Yan LEI Peng ZHANG 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2014/06/01
Vol. E97-D  No. 6  pp. 1652-1655
Type of Manuscript:  LETTER
Category: Software Engineering
Keyword: 
fault localizationdynamic sliceprogram spectrumcontextual information
 Summary | Full Text:PDF(1.2MB)

Resco: Automatic Collection of Leaked Resources
Ziying DAI Xiaoguang MAO Yan LEI Xiaomin WAN Kerong BEN 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2013/01/01
Vol. E96-D  No. 1  pp. 28-39
Type of Manuscript:  PAPER
Category: Software Engineering
Keyword: 
resource leaksresource collectionfault tolerancemonitoring
 Summary | Full Text:PDF(1.4MB)

Effective Fault Localization Approach Using Feedback
Yan LEI Xiaoguang MAO Ziying DAI Dengping WEI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2012/09/01
Vol. E95-D  No. 9  pp. 2247-2257
Type of Manuscript:  PAPER
Category: Software Engineering
Keyword: 
fault localizationsoftware debuggingprogram spectrafeedback
 Summary | Full Text:PDF(1.4MB)