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 | 306 | 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 | 170 | 2015 |
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 | 156 | 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 | 140 | 2014 |
Programs that test themselves B Meyer, A Fiva, I Ciupa, A Leitner, Y Wei, E Stapf Computer 42 (9), 46-55, 2009 | 111 | 2009 |
Inferring better contracts Y Wei, CA Furia, N Kazmin, B Meyer Proceedings of the 33rd International Conference on Software Engineering …, 2011 | 101 | 2011 |
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 | 81 | 2014 |
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 | 63 | 2011 |
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 | 59 | 2015 |
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 | 56 | 2013 |
Is branch coverage a good measure of testing effectiveness? Y Wei, B Meyer, M Oriol Empirical Software Engineering and Verification, 194-212, 2010 | 50 | 2010 |
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 | 38 | 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 | 37 | 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 | 26 | 2011 |
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 | 23 | 2000 |
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 | 22 | 2010 |
Building bing developer assistant Y Wei, N Chandrasekaran, S Gulwani, Y Hamadi Technical Report. MSR-TR-2015-36, Microsoft Research, 2015 | 20 | 2015 |
Main linac lattice design and optimization for Ecm= 1 TeV CLIC YW Wang, S Daniel, J Gao Chinese Physics C 38 (6), 067009, 2014 | 18 | 2014 |
Generalization and/or specialization of code fragments LJ Bordeaux, S Gulwani, Y Hamadi, Y Wei US Patent App. 13/542,975, 2014 | 17 | 2014 |
利用颜色和熵提取感兴趣区域的感性图像检索 陆伟, 倪林 中国图象图形学报 11 (4), 492-497, 2006 | 17 | 2006 |