Travelled to:1 × Canada
1 × France
2 × Italy
2 × USA
Collaborated with:C.A.Furia B.Meyer M.Nordio Y.Wei Q.Xu N.Polikarpova X.Li C.Meng J.Zhao G.Zheng L.S.Silva S.Buchholz A.Zeller H.Roth A.Horton M.J.Steindorfer
Talks about:program (4) contract (3) autom (3) fix (3) repair (2) code (2) base (2) properti (1) reactiv (1) environ (1)
Person: Yu Pei
DBLP: Pei:Yu
Contributed to:
2015
20142013
2011
2010
2004
2001Wrote 8 papers:
- ICSE-v2-2015-PeiFNM #automation #development #ide #program repair
- Automated Program Repair in an Integrated Development Environment (YP, CAF, MN, BM), pp. 681–684.
- FASE-2014-PeiFNM #automation #contract #program repair
- Automatic Program Repair by Fixing Contracts (YP, CAF, MN, BM), pp. 246–260.
- ICSE-2013-PolikarpovaF0WM #question #specification #what
- What good are strong specifications? (NP, CAF, YP, YW, BM), pp. 262–271.
- ASE-2011-PeiWFNM #automation
- Code-based automated program fixing (YP, YW, CAF, MN, BM), pp. 392–395.
- ASE-2011-WeiRFPHSNM #contract #fault #testing
- Stateful testing: Finding more errors in code and contracts (YW, HR, CAF, YP, AH, MJS, MN, BM), pp. 440–443.
- ISSTA-2010-WeiPFSBMZ #automation #contract #source code
- Automated fixing of programs with contracts (YW, YP, CAF, LSS, SB, BM, AZ), pp. 61–72.
- VMCAI-2004-YuX
- Checking Interval Based Properties for Reactive Systems (YP, QX), pp. 122–134.
- UML-2001-XuandongMYJG #analysis #diagrams #process #uml
- Timing Analysis of UML Activity Diagrams (XL, CM, YP, JZ, GZ), pp. 62–75.