dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Yu Pei (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Polikarpova, Carlo A. Furia, Yu Pei, Yi Wei, Bertrand Meyer: What Good Are Strong Specifications? CoRR abs/1208.3337: (2012)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, Bertrand Meyer: Code-based automated program fixing. ASE 2011: 392-395
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, Bertrand Meyer: Stateful testing: Finding more errors in code and contracts. ASE 2011: 440-443
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, Bertrand Meyer: Evidence-Based Automated Program Fixing CoRR abs/1102.1059: (2011)
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, Bertrand Meyer: Stateful Testing: Finding More Errors in Code and Contracts CoRR abs/1108.1068: (2011)
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYi Wei, Yu Pei, Carlo A. Furia, Lucas Serpa Silva, Stefan Buchholz, Bertrand Meyer, Andreas Zeller: Automated fixing of programs with contracts. ISSTA 2010: 61-72

Selection of 6 from 7 records - Yu Pei has 13 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page