Travelled to:1 × Germany
1 × India
1 × Italy
1 × Switzerland
1 × The Netherlands
Collaborated with:X.Mao Y.Qi Z.Dai C.Wang L.Chen
Talks about:program (4) repair (4) autom (3) specif (2) effici (2) fault (2) use (2) subcompon (1) techniqu (1) strength (1)
Person: Yan Lei
DBLP: Lei:Yan
Contributed to:
2014
2013
2013
20132012Wrote 5 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.
- 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.