| Automated fixing of programs with contracts Y Wei, Y Pei, CA Furia, LS Silva, S Buchholz, B Meyer, A Zeller Proceedings of the 19th international symposium on Software testing and …, 2010 | 326 | 2010 |
| A Riccati-Bernoulli sub-ODE method for nonlinear partial differential equations and its application XF Yang, ZC Deng, Y Wei Advances in Difference equations 2015 (1), 1-17, 2015 | 238 | 2015 |
| SWIM: synthesizing what I mean: code search and idiomatic snippet synthesis M Raghothaman, Y Wei, Y Hamadi Proceedings of the 38th International Conference on Software Engineering …, 2016 | 187 | 2016 |
| Automated fixing of programs with contracts Y Pei, CA Furia, M Nordio, Y Wei, B Meyer, A Zeller Ieee transactions on software engineering 40 (5), 427-449, 2014 | 156 | 2014 |
| Inferring better contracts Y Wei, CA Furia, N Kazmin, B Meyer Proceedings of the 33rd International Conference on Software Engineering …, 2011 | 112 | 2011 |
| Programs that test themselves B Meyer, A Fiva, I Ciupa, A Leitner, Y Wei, E Stapf Computer 42 (9), 46-55, 2009 | 112 | 2009 |
| Code-based automated program fixing Y Pei, Y Wei, CA Furia, M Nordio, B Meyer 2011 26th IEEE/ACM International Conference on Automated Software …, 2011 | 71 | 2011 |
| What good are strong specifications? N Polikarpova, CA Furia, Y Pei, Y Wei, B Meyer 2013 35th International Conference on Software Engineering (ICSE), 262-271, 2013 | 58 | 2013 |
| Is branch coverage a good measure of testing effectiveness? Y Wei, B Meyer, M Oriol Empirical Software Engineering and Verification: International Summer …, 2012 | 55 | 2012 |
| A scaled underwater launch system accomplished by stress wave propagation technique YP Wei, YW Wang, X Fang, CG Huang, ZP Duan Chinese Physics Letters 28 (2), 024601, 2011 | 40 | 2011 |
| Shedding phenomenon of ventilated partial cavitation around an underwater projectile YW Wang, CG Huang, TZ Du, XQ Wu, X Fang, NG Liang, YP Wei Chinese Physics Letters 29 (1), 014601, 2012 | 39 | 2012 |
| Stateful testing: Finding more errors in code and contracts Y Wei, H Roth, CA Furia, Y Pei, A Horton, M Steindorfer, M Nordio, ... 2011 26th IEEE/ACM International Conference on Automated Software …, 2011 | 27 | 2011 |
| Satisfying test preconditions through guided object selection Y Wei, S Gebhardt, B Meyer, M Oriol 2010 Third International Conference on Software Testing, Verification and …, 2010 | 23 | 2010 |
| Building bing developer assistant Y Wei, N Chandrasekaran, S Gulwani, Y Hamadi Technical Report. MSR-TR-2015-36, Microsoft Research, 2015 | 20 | 2015 |
| Generalization and/or specialization of code fragments LJ Bordeaux, S Gulwani, Y Hamadi, Y Wei US Patent App. 13/542,975, 2014 | 20 | 2014 |
| Main linac lattice design and optimization for Ecm= 1 TeV CLIC YW Wang, S Daniel, J Gao Chinese Physics C 38 (6), 067009, 2014 | 19 | 2014 |
| Projected Runge-Kutta methods for constrained Hamiltonian systems Y Wei, Z Deng, Q Li, B Wang Applied Mathematics and Mechanics 37 (8), 1077-1094, 2016 | 17 | 2016 |
| 利用颜色和熵提取感兴趣区域的感性图像检索 陆伟， 倪林 中国图象图形学报 11 (4), 492-497, 2006 | 17 | 2006 |
| 土壤中毒死蜱和微生物相互作用的研究 刘新， 尤民生， 廖金英， 魏英智 应用生态学报 15 (7), 1174-1176, 2004 | 17 | 2004 |
| 混凝土坝温控防裂智能监控系统及其工程应用 张国新， 刘毅， 李松辉， 刘有志， 魏永新， 孙保平， 郭晨， 张湘涛 水利水电技术 45 (1), 96-102, 2014 | 14 | 2014 |
Bertrand MeyerProfessor of Software Engineering, Constructor UniversityVerified email at inf.ethz.ch
