BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Pei:Yu

Contributed to:

ICSE 20152015
FASE 20142014
ICSE 20132013
ASE 20112011
ISSTA 20102010
VMCAI 20042004
UML 20012001

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.