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

ISSTA 2020	Author of ProFL: A Fault Localization Framework for Prolog within the Tool Demonstration-track
ESEC/FSE 2020	Committee Member in Program Committee within the Tool Demos-track
ICSE 2019	Author of ARepair: A Repair Framework for Alloy within the Demonstrations-track
ESEC/FSE 2018	Author 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