Allison Sullivan

Registered user since Wed 16 Jan 2019

Name: Allison Sullivan

Affiliation: North Carolina Agriculture and Technical State University

Research interests: Software engineering, software testing, formal methods, programming languages

Contributions

ICSE 2019Author of ARepair: A Repair Framework for Alloy within the Demonstrations-track
ESEC/FSE 2018Author of ASketch: A Sketching Framework for Alloy within the Demonstrations-track
* ICSE 2018 *Author of MuAlloy: A Mutation Testing Framework for Alloy within the DEMO - Demonstrations -track