Follow
Wei Yi
Wei Yi
Chair of Software Engineering, ETH Zurich
Verified email at inf.ethz.ch - Homepage
Title
Cited by
Cited by
Year
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
3062010
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
1702015
Swim: Synthesizing what i mean-code search and idiomatic snippet synthesis
M Raghothaman, Y Wei, Y Hamadi
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE …, 2016
1562016
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
1402014
Programs that test themselves
B Meyer, A Fiva, I Ciupa, A Leitner, Y Wei, E Stapf
Computer 42 (9), 46-55, 2009
1112009
Inferring better contracts
Y Wei, CA Furia, N Kazmin, B Meyer
Proceedings of the 33rd International Conference on Software Engineering …, 2011
1012011
Independent measurement of the neutrino mixing angle via neutron capture on hydrogen at Daya Bay
FP An, AB Balantekin, HR Band, W Beriguete, M Bishai, S Blyth, I Butorov, ...
Physical Review D 90 (7), 071101, 2014
812014
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
632011
The muon system of the Daya Bay Reactor antineutrino experiment
FP An, AB Balantekin, HR Band, W Beriguete, M Bishai, S Blyth, ...
Nuclear Instruments and Methods in Physics Research Section A: Accelerators …, 2015
592015
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
562013
Is branch coverage a good measure of testing effectiveness?
Y Wei, B Meyer, M Oriol
Empirical Software Engineering and Verification, 194-212, 2010
502010
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
382011
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
372012
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
262011
Partial Wave Analysis of the Decay ψ′→J/ψ π+π-
T Zhuang, ZJ GUO, Y WEI, J LI, ML YAN
Chinese Physics C 24 (7), 616-623, 2000
232000
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
222010
Building bing developer assistant
Y Wei, N Chandrasekaran, S Gulwani, Y Hamadi
Technical Report. MSR-TR-2015-36, Microsoft Research, 2015
202015
Main linac lattice design and optimization for Ecm= 1 TeV CLIC
YW Wang, S Daniel, J Gao
Chinese Physics C 38 (6), 067009, 2014
182014
Generalization and/or specialization of code fragments
LJ Bordeaux, S Gulwani, Y Hamadi, Y Wei
US Patent App. 13/542,975, 2014
172014
利用颜色和熵提取感兴趣区域的感性图像检索
陆伟, 倪林
中国图象图形学报 11 (4), 492-497, 2006
172006
The system can't perform the operation now. Try again later.
Articles 1–20