BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
S.Khurshid A.Sullivan J.Hua M.Zhang D.Marinov
Talks about:
sketch (3) repair (2) autom (2) alloy (2) framework (1) approach (1) program (1) generat (1) candid (1) model (1)

Person: Kaiyuan Wang

DBLP DBLP: Wang:Kaiyuan

Contributed to:

ASE 20182018
ESEC/FSE 20182018

Wrote 3 papers:

ASE-2018-WangSK #alloy #automation
Automated model repair for Alloy (KW, AS, SK), pp. 577–588.
ESEC-FSE-2018-HuaZWK #approach #automation #generative #lazy evaluation #named #program repair #sketching #using
SketchFix: a tool for automated program repair approach using lazy candidate generation (JH, MZ, KW, SK), pp. 888–891.
ESEC-FSE-2018-WangSMK #alloy #framework #named #sketching
ASketch: a sketching framework for Alloy (KW, AS, DM, SK), pp. 916–919.

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.