Travelled to:1 × Italy
1 × Portugal
1 × Spain
2 × France
3 × USA
Collaborated with:B.Meyer C.A.Furia Y.Pei M.Oriol M.Nordio M.Allamanis D.Tarlow A.D.Gordon I.Saleh G.Kulczycki M.B.Blake N.Kazmin S.Gebhardt N.Polikarpova A.Tikhomirov L.S.Silva S.Buchholz A.Zeller H.Roth A.Horton M.J.Steindorfer
Talks about:code (4) contract (3) test (3) program (2) specif (2) error (2) autom (2) fix (2) precondit (1) implement (1)
Person: Yi Wei
DBLP: Wei:Yi
Contributed to:
2015
2013
2013
2013
20112011
2010
2010Wrote 9 papers:
- ICML-2015-AllamanisTGW #modelling #natural language #source code
- Bimodal Modelling of Source Code and Natural Language (MA, DT, ADG, YW), pp. 2123–2132.
- ICSE-2013-PolikarpovaF0WM #question #specification #what
- What good are strong specifications? (NP, CAF, YP, YW, BM), pp. 262–271.
- SAC-2013-FuriaMOTW #automation #random testing #testing
- The search for the laws of automatic random testing (CAF, BM, MO, AT, YW), pp. 1211–1216.
- SEFM-2013-SalehKBW #detection #fault #implementation #specification #static analysis #using
- Static Detection of Implementation Errors Using Formal Code Specification (IS, GK, MBB, YW), pp. 197–211.
- ASE-2011-PeiWFNM #automation
- Code-based automated program fixing (YP, YW, CAF, MN, BM), pp. 392–395.
- ASE-2011-WeiRFPHSNM #contract #fault #testing
- Stateful testing: Finding more errors in code and contracts (YW, HR, CAF, YP, AH, MJS, MN, BM), pp. 440–443.
- ICSE-2011-WeiFKM #contract
- Inferring better contracts (YW, CAF, NK, BM), pp. 191–200.
- ICST-2010-WeiGMO
- Satisfying Test Preconditions through Guided Object Selection (YW, SG, BM, MO), pp. 303–312.
- ISSTA-2010-WeiPFSBMZ #automation #contract #source code
- Automated fixing of programs with contracts (YW, YP, CAF, LSS, SB, BM, AZ), pp. 61–72.