conf.researchr.org / Allison Sullivan
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 2020Author of ProFL: A Fault Localization Framework for Prolog within the Tool Demonstration-track
ESEC/FSE 2020Committee Member in Program Committee within the Tool Demos-track
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