Travelled to:1 × Germany
1 × India
1 × Italy
1 × Switzerland
1 × The Netherlands
1 × United Kingdom
Collaborated with:Y.Lei Y.Qi L.Chen Z.Dai C.Wang T.Li W.Liu H.Zhou Xin Yi Tao Ji
Talks about:program (5) repair (5) autom (4) effici (3) specif (2) fault (2) use (2) subcompon (1) introduct (1) techniqu (1)
Person: Xiaoguang Mao
DBLP: Mao:Xiaoguang
Contributed to:
2014
2013
2013
2013
20132012
2019Wrote 7 papers:
- ICSE-2014-QiMLDW #automation #program repair #random
- The strength of random search on automated program repair (YQ, XM, YL, ZD, CW), pp. 254–265.
- ICSM-2013-QiML #automation #performance #program repair #testing
- Efficient Automated Program Repair through Fault-Recorded Testing Prioritization (YQ, XM, YL), pp. 180–189.
- ISSTA-2013-QiMLW #automation #effectiveness #fault #locality #program repair #using
- Using automated program repair for evaluating the effectiveness of fault localization techniques (YQ, XM, YL, CW), pp. 191–201.
- ITiCSE-2013-LiLMZ #programming #question
- Introduction to programming: science or art? (TL, WL, XM, HZ), p. 324.
- WCRE-2013-DaiMLC #component #precise #specification
- Leveraging specifications of subcomponents to mine precise specifications of composite components (ZD, XM, YL, LC), pp. 162–171.
- ICSM-2012-QiML #automation #performance #scalability #source code #using
- Making automatic repair for large-scale programs more efficient using weak recompilation (YQ, XM, YL), pp. 254–263.
- POPL-2019-YiCMJ #automation #fault #float #library #performance
- Efficient automated repair of high floating-point errors in numerical libraries (XY, LC, XM, TJ), p. 29.