Allison Sullivan -

Registered user since Wed 16 Jan 2019

Name:Allison Sullivan

Affiliation:The University of Texas at Arlington

Personal website:https://allisonius.github.io/

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

Contributions

ICSE 2022	Committee Member in Program Committee within the DEMO - Demonstrations-track Session Chair of Validation and Verification (part of DEMO - Demonstrations)
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