Urmăriți
Wei Yi
Wei Yi
Chair of Software Engineering, ETH Zurich
Adresă de e-mail confirmată pe inf.ethz.ch - Pagina de pornire
Titlu
Citat de
Citat de
Anul
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
3292010
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
2792015
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
2002016
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
1712014
Inferring better contracts
Y Wei, CA Furia, N Kazmin, B Meyer
Proceedings of the 33rd International Conference on Software Engineering …, 2011
1202011
Programs that test themselves
B Meyer, A Fiva, I Ciupa, A Leitner, Y Wei, E Stapf
Computer 42 (9), 46-55, 2009
1152009
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
722011
Is branch coverage a good measure of testing effectiveness?
Y Wei, B Meyer, M Oriol
Empirical Software Engineering and Verification: International Summer …, 2012
582012
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
572013
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
502011
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
402012
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
272011
Generalization and/or specialization of code fragments
LJ Bordeaux, S Gulwani, Y Hamadi, Y Wei
US Patent App. 13/542,975, 2014
242014
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
242010
Building bing developer assistant
Y Wei, N Chandrasekaran, S Gulwani, Y Hamadi
Technical Report. MSR-TR-2015-36, Microsoft Research, 2015
212015
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
202016
Main linac lattice design and optimization for Ecm= 1 TeV CLIC
YW Wang, S Daniel, J Gao
Chinese Physics C 38 (6), 067009, 2014
192014
利用颜色和熵提取感兴趣区域的感性图像检索
陆伟, 倪林
中国图象图形学报 11 (4), 492-497, 2006
172006
土壤中毒死蜱和微生物相互作用的研究
刘新, 尤民生, 廖金英, 魏英智
应用生态学报 15 (7), 1174-1176, 2004
162004
混凝土坝温控防裂智能监控系统及其工程应用
张国新, 刘毅, 李松辉, 刘有志, 魏永新, 孙保平, 郭晨, 张湘涛
水利水电技术 45 (1), 96-102, 2014
142014
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–20