Yi Wei

17 papers A* 4A 2C 1Misc 1Journal 7Unranked 1
YearRankTypeTitle / Venue / Authors
2014 J jnl
Automated Fixing of Programs with Contracts.
CoRR
Yu Pei, Carlo A. Furia, Martin Nordio, Yi Wei, Bertrand Meyer, Andreas Zeller
2014 J jnl
Automated Fixing of Programs with Contracts.
IEEE Trans. Software Eng.
Yu Pei, Carlo A. Furia, Martin Nordio, Yi Wei, Bertrand Meyer, Andreas Zeller
2013 Misc conf
The search for the laws of automatic random testing.
SAC
Carlo A. Furia, Bertrand Meyer, Manuel Oriol, Andrey Tikhomirov, Yi Wei
2013 A* conf
What good are strong specifications?
ICSE
Nadia Polikarpova, Carlo A. Furia, Yu Pei, Yi Wei, Bertrand Meyer
2012 — —
Putting Contracts to Work for Better Automated Testing and Fixing.
Yi Wei
2012 J jnl
The Search for the Laws of Automatic Random Testing
CoRR
Carlo A. Furia, Bertrand Meyer, Manuel Oriol, Andrey Tikhomirov, Yi Wei
2012 J jnl
What Good Are Strong Specifications?
CoRR
Nadia Polikarpova, Carlo A. Furia, Yu Pei, Yi Wei, Bertrand Meyer
2011 A* conf
Code-based automated program fixing.
ASE
Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, Bertrand Meyer
2011 J jnl
Evidence-Based Automated Program Fixing
CoRR
Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, Bertrand Meyer
2011 C conf
Evotec: Evolving the Best Testing Strategy for Contract-Equipped Programs.
APSEC
Lucas Serpa Silva, Yi Wei, Bertrand Meyer, Manuel Oriol
2011 A* conf
Inferring better contracts.
ICSE
Yi Wei, Carlo A. Furia, Nikolay Kazmin, Bertrand Meyer
2011 J jnl
Stateful Testing: Finding More Errors in Code and Contracts
CoRR
Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, Bertrand Meyer
2011 A* conf
Stateful testing: Finding more errors in code and contracts.
ASE
Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, Bertrand Meyer
2010 A conf
Automated fixing of programs with contracts.
ISSTA
Yi Wei, Yu Pei, Carlo A. Furia, Lucas Serpa Silva, Stefan Buchholz, Bertrand Meyer, Andreas Zeller
2010 — conf
Is Branch Coverage a Good Measure of Testing Effectiveness?
LASER Summer School
Yi Wei, Bertrand Meyer, Manuel Oriol
2010 A conf
Satisfying Test Preconditions through Guided Object Selection.
ICST
Yi Wei, Serge Gebhardt, Bertrand Meyer, Manuel Oriol
2009 J jnl
Programs That Test Themselves.
Computer
Bertrand Meyer, Arno Fiva, Ilinca Ciupa, Andreas Leitner, Yi Wei, Emmanuel Stapf