BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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


Contributed to:

ICML 20152015
ICSE 20132013
SAC 20132013
SEFM 20132013
ASE 20112011
ICSE 20112011
ICST 20102010
ISSTA 20102010

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.