Yi Wei

Publication Activity (10 Years)

Years Active: 2009-2014
Publications (10 Years): 0

Top Topics

Computer Programs

Exhaustive Search

Attribute Grammars

Top Venues

IEEE Trans. Software Eng.

Publications

Yu Pei, Carlo A. Furia, Martin Nordio, Yi Wei, Bertrand Meyer, Andreas Zeller
Automated Fixing of Programs with Contracts. CoRR (2014)
Yu Pei, Carlo A. Furia, Martin Nordio, Yi Wei, Bertrand Meyer, Andreas Zeller
Automated Fixing of Programs with Contracts. IEEE Trans. Software Eng. 40 (5) (2014)
Nadia Polikarpova, Carlo A. Furia, Yu Pei, Yi Wei, Bertrand Meyer
What good are strong specifications? ICSE (2013)
Carlo A. Furia, Bertrand Meyer, Manuel Oriol, Andrey Tikhomirov, Yi Wei
The search for the laws of automatic random testing. SAC (2013)
Nadia Polikarpova, Carlo A. Furia, Yu Pei, Yi Wei, Bertrand Meyer
What Good Are Strong Specifications? CoRR (2012)
Carlo A. Furia, Bertrand Meyer, Manuel Oriol, Andrey Tikhomirov, Yi Wei
The Search for the Laws of Automatic Random Testing CoRR (2012)
Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, Bertrand Meyer
Evidence-Based Automated Program Fixing CoRR (2011)
Lucas Serpa Silva, Yi Wei, Bertrand Meyer, Manuel Oriol
Evotec: Evolving the Best Testing Strategy for Contract-Equipped Programs. APSEC (2011)
Yi 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 (2011)
Yi Wei, Carlo A. Furia, Nikolay Kazmin, Bertrand Meyer
Inferring better contracts. ICSE (2011)
Yi 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)
Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, Bertrand Meyer
Code-based automated program fixing. ASE (2011)
Yi Wei, Bertrand Meyer, Manuel Oriol
Is Branch Coverage a Good Measure of Testing Effectiveness? LASER Summer School (2010)
Yi Wei, Yu Pei, Carlo A. Furia, Lucas Serpa Silva, Stefan Buchholz, Bertrand Meyer, Andreas Zeller
Automated fixing of programs with contracts. ISSTA (2010)
Yi Wei, Serge Gebhardt, Bertrand Meyer, Manuel Oriol
Satisfying Test Preconditions through Guided Object Selection. ICST (2010)
Bertrand Meyer, Arno Fiva, Ilinca Ciupa, Andreas Leitner, Yi Wei, Emmanuel Stapf
Programs That Test Themselves. Computer 42 (9) (2009)