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

2025

FormaliSE

  • Committee Member in Program Committee within the Research Track-track

2024

ESEC/FSE

  • Committee Member in Program Committee within the Demonstrations-track

2023

ESEC/FSE

  • Committee Member in Program Committee within the Demonstrations-track

MODELS

  • Author of Integrating Testing into the Alloy Model Development Workflow within the Technical Track-track
  • Author of Mutation Testing for Temporal Alloy Models within the Technical Track-track

2022

ICSE

  • Committee Member in Program Committee within the DEMO - Demonstrations-track
  • Session Chair of Validation and Verification (part of DEMO - Demonstrations)

2020

ESEC/FSE

  • Committee Member in Program Committee within the Tool Demos-track

ISSTA

  • Author of ProFL: A Fault Localization Framework for Prolog within the Tool Demonstration-track

2019

ICSE

  • Author of ARepair: A Repair Framework for Alloy within the Demonstrations-track

2018

ESEC/FSE

  • Author of ASketch: A Sketching Framework for Alloy within the Demonstrations-track

ICSE

  • Author of MuAlloy: A Mutation Testing Framework for Alloy within the DEMO - Demonstrations -track
Share
xTue 2 Sep 11:43
using conf.researchr.org (v1.70.0)
Support page
Sign Up