Wei Yi
Wei Yi
Chair of Software Engineering, ETH Zurich
Verified email at inf.ethz.ch - Homepage
Cited by
Cited by
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
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
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
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
Characterization and analysis of carbon deposited during the dry reforming of methane over Ni/La2O3/Al2O3 catalysts
XU Junke, Z Wei, W Jihui, LI Zhaojing, MA Jianxin
Chinese Journal of Catalysis 30 (11), 1076-1084, 2009
Programs that test themselves
B Meyer, A Fiva, I Ciupa, A Leitner, Y Wei, E Stapf
Computer 42 (9), 46-55, 2009
Inferring better contracts
Y Wei, CA Furia, N Kazmin, B Meyer
Proceedings of the 33rd International Conference on Software Engineering …, 2011
A cross-layer optimization framework for multicast in multi-hop wireless networks
J Yuan, Z Li, W Yu, B Li
First International Conference on Wireless Internet (WICON'05), 47-54, 2005
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
Thermally expanded graphene nanoplates/polydimethylsiloxane composites with high dielectric constant, low dielectric loss and improved actuated strain
M Tian, Z Wei, X Zan, L Zhang, J Zhang, Q Ma, N Ning, T Nishi
Composites science and technology 99, 37-44, 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
Nuciferine, extracted from Nelumbo nucifera Gaertn, inhibits tumor-promoting effect of nicotine involving Wnt/β-catenin signaling in non-small cell lung cancer
W Liu, DD Yi, JL Guo, ZX Xiang, LF Deng, L He
Journal of ethnopharmacology 165, 83-93, 2015
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
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
Universal Teichmüller space and BMO
Y Shen, H Wei
Advances in Mathematics 234, 129-148, 2013
Development of a mathematical model for evaluating the dynamics of normal and apoptotic Chinese hamster ovary cells
S Naderi, M Meshram, C Wei, B McConkey, B Ingalls, H Budman, ...
Biotechnology progress 27 (5), 1197-1205, 2011
Is branch coverage a good measure of testing effectiveness?
Y Wei, B Meyer, M Oriol
Empirical Software Engineering and Verification, 194-212, 2010
Analysis of circulating tumour DNA (ctDNA) from patients enrolled in the IDEA-FRANCE phase III trial: Prognostic and predictive value for adjuvant treatment duration
J Taieb, V Taly, D Vernerey, C Bourreau, J Bennouna, R Faroux, ...
Annals of Oncology 30, v867, 2019
Synthesis and biological evaluation of novel pyrazoline derivatives as potent anti-inflammatory agents
J He, L Ma, Z Wei, J Zhu, F Peng, M Shao, L Lei, L He, M Tang, L He, ...
Bioorganic & medicinal chemistry letters 25 (11), 2429-2433, 2015
A scaled underwater launch system accomplished by stress wave propagation technique
W Yan-Peng, W Yi-Wei, F Xin, H Chen-Guang, D Zhu-Ping
Chinese Physics Letters 28 (2), 024601, 2011
The system can't perform the operation now. Try again later.
Articles 1–20