Yi Wei

According to our database, Yi Wei authored at least 13 papers between 2009 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Automated Fixing of Programs with Contracts.

Yu Pei, Carlo A. Furia, Martin Nordio, Yi Wei, Bertrand Meyer, Andreas Zeller

IEEE Trans. Software Eng., 2014

2013

The search for the laws of automatic random testing.

Carlo A. Furia, Bertrand Meyer, Manuel Oriol, Andrey Tikhomirov, Yi Wei

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

What good are strong specifications?

Nadia Polikarpova, Carlo A. Furia, Yu Pei, Yi Wei, Bertrand Meyer

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

Putting Contracts to Work for Better Automated Testing and Fixing.

Yi Wei

PhD thesis, 2012

2011

Evidence-Based Automated Program Fixing

Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, Bertrand Meyer

CoRR, 2011

Stateful testing: Finding more errors in code and contracts.

Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, Bertrand Meyer

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Code-based automated program fixing.

Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, Bertrand Meyer

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Inferring better contracts.

Yi Wei, Carlo A. Furia, Nikolay Kazmin, Bertrand Meyer

Proceedings of the 33rd International Conference on Software Engineering, 2011

Evotec: Evolving the Best Testing Strategy for Contract-Equipped Programs.

Lucas Serpa Silva, Yi Wei, Bertrand Meyer, Manuel Oriol

Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2010

Is Branch Coverage a Good Measure of Testing Effectiveness?

Yi Wei, Bertrand Meyer, Manuel Oriol

Proceedings of the Empirical Software Engineering and Verification, 2010

Automated fixing of programs with contracts.

Yi Wei, Yu Pei, Carlo A. Furia, Lucas Serpa Silva, Stefan Buchholz, Bertrand Meyer, Andreas Zeller

Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010

Satisfying Test Preconditions through Guided Object Selection.

Yi Wei, Serge Gebhardt, Bertrand Meyer, Manuel Oriol

Proceedings of the Third International Conference on Software Testing, 2010

2009

Programs That Test Themselves.

Bertrand Meyer, Arno Fiva, Ilinca Ciupa, Andreas Leitner, Yi Wei, Emmanuel Stapf

Computer, 2009