| 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 | 454 | 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-17, 2015 | 295 | 2015 |
| Bimodal modelling of source code and natural language M Allamanis, D Tarlow, A Gordon, Y Wei International conference on machine learning, 2123-2132, 2015 | 262 | 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 | 204 | 2016 |
| Inferring better contracts Y Wei, CA Furia, N Kazmin, B Meyer Proceedings of the 33rd International Conference on Software Engineering …, 2011 | 118 | 2011 |
| Programs that test themselves B Meyer, A Fiva, I Ciupa, A Leitner, Y Wei, E Stapf Computer 42 (9), 46-55, 2009 | 115 | 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 | 73 | 2011 |
| Is branch coverage a good measure of testing effectiveness? Y Wei, B Meyer, M Oriol Empirical Software Engineering and Verification: International Summer …, 2012 | 61 | 2012 |
| 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 | 57 | 2013 |
| 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 | 44 | 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 | 25 | 2010 |
| Generalization and/or specialization of code fragments LJ Bordeaux, S Gulwani, Y Hamadi, Y Wei US Patent App. 13/542,975, 2014 | 24 | 2014 |
| Building bing developer assistant Y Wei, N Chandrasekaran, S Gulwani, Y Hamadi Technical Report. MSR-TR-2015-36, Microsoft Research, 2015 | 21 | 2015 |
| 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 | 20 | 2016 |
| 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 |
| 利用颜色和熵提取感兴趣区域的感性图像检索 陆伟， 倪林 中国图象图形学报 11 (4), 492-497, 2006 | 17 | 2006 |
| 土壤中毒死蜱和微生物相互作用的研究 刘新， 尤民生， 廖金英， 魏英智 应用生态学报, 1174, 2004 | 16 | 2004 |
| Swim: Synthesizing what i mean-code search and idiomatic snippet synthesis. In 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE) M Raghothaman, Y Wei, Y Hamadi IEEE, 357ś367, 2016 | 15 | 2016 |
Bertrand MeyerProfessor of Software Engineering, Constructor UniversityVerified email at inf.ethz.ch
