• Sign in
  • Sign up
conf.researchr.org / Allison Sullivan
  • * ICSE 2018 * profile
  • ESEC/FSE 2018 profile
  • ESEC/FSE 2020 profile
  • ICSE 2019 profile
  • ICSE 2022 profile
  • ISSTA 2020 profile
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

Share
xTue 16 Aug 18:03
using conf.researchr.org (v1.56.0)
Support page
Sign Up