Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Yi Wei
Observed names:
Wei Yi,
Wei, Yi
Observed institutions:
Microsoft (United States),
ETH Zurich,
Microsoft Research (United Kingdom)
ORCID:
0000-0002-0856-5773
Observed ORCIDs:
0000-0002-0856-5773,
0000-0001-9878-7048
OpenAlex ID:
A5101621977
Automated fixing of programs with contracts
2010
·
Yi Wei
, Yu Pei
, et al.
·
International Symposium on Software Testing and Analysis
·
228
Bimodal Modelling of Source Code and Natural Language
2015
·
Miltiadis Allamanis
, Daniel Tarlow
, et al.
·
Edinburgh Research Explorer (University of Edinburgh)
·
164
PDF
SWIM
2016
·
Mukund Raghothaman
, Yi Wei
, et al.
·
ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)
·
162
PDF
Automated Fixing of Programs with Contracts
2014
·
Yu Pei
, Carlo A. Furia
, et al.
·
IEEE Transactions on Software Engineering
·
146
PDF
Inferring better contracts
2011
·
Yi Wei
, Carlo A. Furia
, et al.
·
ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)
·
95
Programs That Test Themselves
2009
·
Bertrand Meyer
, Arno Fiva
, et al.
·
Computer
·
74
Code-based automated program fixing
2011
·
Yu Pei
, Yi Wei
, et al.
·
IEEE/ACM International Conference on Automated Software Engineering (ASE)
·
50
PDF
Is Branch Coverage a Good Measure of Testing Effectiveness?
2012
·
Yi Wei
, Bertrand Meyer
, et al.
·
Lecture notes in computer science
·
39
What good are strong specifications
2013
·
Nadia Polikarpova
, Carlo A. Furia
, et al.
·
26
Stateful testing: Finding more errors in code and contracts
2011
·
Yi Wei
, Hannes Roth
, et al.
·
IEEE/ACM International Conference on Automated Software Engineering (ASE)
·
23
PDF
What good are strong specifications?
2013
·
Nadia Polikarpova
, Carlo A. Furia
, et al.
·
ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)
·
21
Building Bing Developer Assistant
2019
·
Yi Wei
, Nirupama Chandrasekaran
, et al.
·
14
Satisfying Test Preconditions through Guided Object Selection
2010
·
Yi Wei
, Serge Gebhardt
, et al.
·
IEEE International Conference on Software Testing, Verification and Validation (ICST)
·
14
Building Bing Developer Assistant MSR-TR-2015-36
2015
·
Yi Wei
, Nirupama Chandrasekaran
, et al.
·
5
Evotec: Evolving the Best Testing Strategy for Contract-Equipped Programs
2011
·
Lucas Serpa Silva
, Yi Wei
, et al.
·
Asia-Pacific Software Engineering Conference (APSEC)
·
4
Is coverage a good measure of testing effectiveness?
2010
·
Wei, Yi
, Oriol, Manuel
, et al.
·
4
The search for the laws of automatic random testing
2013
·
Carlo A. Furia
, Bertrand Meyer
, et al.
·
ACM Symposium on Applied Computing
·
3
PDF
Evidence-Based Automated Program Fixing
2011
·
Yu Pei
, Wei Yi
, et al.
·
2
What Good Are Strong Specifications?
2012
·
Polikarpova, Nadia
, Furia, Carlo A.
, et al.
·
arXiv (Cornell University)
PDF
Putting Contracts to Work for Better Automated Testing and Fixing
2012
·
Wei, Yi
·
Repository for Publications and Research Data (ETH Zurich)
PDF
Show more works
View as search
Works count:
27
Citation count:
1,078
H-index:
13
I10-index:
13
Year
Topic
Type