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: Wang:Kaiyuan
Contributed to:
2018
2018Wrote 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.