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

Collaborated with:
K.Wang S.Khurshid D.Marinov
Talks about:
sketch (2) alloy (2) framework (1) repair (1) model (1) autom (1)

Person: Allison Sullivan

DBLP DBLP: Sullivan:Allison

Contributed to:

ASE 20182018
ESEC/FSE 20182018

Wrote 2 papers:

ASE-2018-WangSK #alloy #automation
Automated model repair for Alloy (KW, AS, SK), pp. 577–588.
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.