avatar

Allison Sullivan

[Allison Sullivan]

Assistant Professor, Computer Science and Engineering
Last Updated: September 23, 2021
about me

Research Interests

Research Interests
Automated Software Engineering: Test/Oracle Generation, Automated Bug Localization and Repair, Regression Testing, and Mutation Testing

Formal Methods and Programming Languages: Model Based Testing, First-Order Logic, Program Synthesis, Model Checking and Symbolic Execution

Teaching Interests

Teaching Interests
Software Engineering, Software Testing, Formal Methods, and Algorithms.

Biography

Biography

Allison Sullivan obtained her PhD in the Software Verification, Validation and Testing (SVVAT) group at the University of Texas at Austin (hook’em) in 2017. Her adviser was Sarfraz Khurshid. She obtained her M.S. degree in software engineering at UT Austin in 2014 and her B.S. degree in software engineering from The University of Texas at Dallas in 2012 (whoosh).

In 2018 to 2020, she was an assistant professor at North Carolina A&T State University. Since Fall of 2020, she has been an assistant professor at UT Arlington. Her recent research has focused on verification/synthesis of formal modeling languages and verification of autonomous systems. Her research has been supported by the National Science Foundation and the Department of Defense.

Education

Education

    • 2017 PhD in Software Engineering
      University of Texas - Austin, Austin, Texas
    • 2014 MS in Software Engineering
      University of Texas - Austin, Austin, Texas
    • 2012 BS in Software Engineering
      University of Texas - Dallas, Dallas, Texas

Appointments

Appointments

    • Sept 2020 to Present Assistant Professor
      The University of Texas at Arlington
    • Aug 2018 to May 2020 Assistant Professor
      North Carolina A&T State University
    • Aug 2012 to May 2017 Research Assistant
      The University of Texas at Austin
    • Aug 2011 to May 2012 Undergraduate Research Assistant
      The University of Texas at Dallas

Memberships

    • Aug 2018 to May 2020 NC A&T’s Center of Excellence in Cybersecurity Research, Education and Outreach

Awards and Honors

    • Oct  2019 Grace Hopper Faculty Scholar sponsored by AnitaB.org
    • Jun  2019 Faculty in Residence sponsored by Google

Support & Funding

Support & Funding

This data is entered manually by the author of the profile and may duplicate data in the Sponsored Projects section.
    • Oct 2021 to Mar 2023 FmitF: Track II: KeenEye: Enhancing Scenario Exploration sponsored by  -  $99102
      Allison Sullivan (Funded)
    • July 2020 to Jan 2022 FMiTF: Track II: Alloy Analyzer Plus: An Integrated Development Environment for Alloy sponsored by  -  $68290
      Allison Sullivan (Funded)

Publications


      2020
      • Conference Proceeding
        Fault Localization for Declarative Models in Alloy
        Proceedings of the IEEE International Symposium on Software Reliability Engineering (ISSRE)
        [Wang, Kaiyuan, Sullivan, Allison, Marinov, Darko, Khurshid, Sarfraz]. 391-402.
      • Conference Proceeding
        ProFL: A fault localization framework for Prolog
        Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) Tool Demonstration Track
        [Thompson, George , Sullivan, A]. 561-564.

      2019
      • Conference Proceeding
        Solution Enumeration Abstraction: A Modeling Idiom to Enhance a Lightweight Formal Method
        Proceedings of the 21st International Conference on Formal Engineering Methods (ICFEM)
        [Sullivan, Allison, Marinov, Darko, Khurshid, Sarfraz]. 336-352.
      • Conference Proceeding
        ARepair: A repair framework for alloy
        Proceedings of the 41st International Conference on Software Engineering (ICSE) Tool Demonstration Track
        [Wang, Kaiyuan, Sullivan, Allison, Khurshid, Sarfraz]. 103-106.

      2018
      • Conference Proceeding
        ASketch: A sketching framework for Alloy
        Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE) Tool Demonstration Track
        [Wang, Kaiyuan, Sullivan, Allison, Marinov, Darko, Khurshid, Sarfraz]. 916-919.
      • Conference Proceeding
        Automated model repair for Alloy
        Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering (ASE)
        [Wang, Kaiyuan, Sullivan, Allison, Khurshid, Sarfraz]. 577-588.
      • Conference Proceeding
        Solver-Based Sketching of Alloy Models Using Test Valuations
        Proceedings of the 6th International Conference Abstract State Machines, Alloy, B, TLA, VDM, and Z
        [Wang, Kaiyuan, Sullivan, Allison, Marinov, Darko, Khurshid, Sarfraz]. 121-136.
      • Conference Proceeding
        Systematic Generation of Non-equivalent Expressions for Relational Algebra
        Proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z}
        [Wang, Kaiyuan, Sullivan, Allison, Koukoutos , Manos, Marinov, Darko, Khurshid, Sarfraz]. 105-120.
      • Conference Proceeding
        MuAlloy: A mutation testing framework for Alloy
        Proceedings of the 40th International Conference on Software Engineering (ICSE) Tool Demonstration Track
        [Wang, Kaiyuan, Sullivan, Allison, Khurshid, Sarfraz]. 29-32.
      • Conference Proceeding
        AUnit: A Test Automation Tool for Alloy
        Proceedings of the 11th IEEE International Conference on Software Testing, Verification and Validation (ICST) Tool Demonstration Track
        [Sullivan, Allison, Wang, Kaiyuan, Khurshid]. 398-403.

      2017
      • Conference Proceeding
        Evaluating State Modeling Techniques in Alloy
        Proceedings of the Sixth Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications (SQAMIA)
        [Sullivan, Allison, Wang, Kaiyuan, Khurshid, Sarfraz, Marinov, Darko].
      • Conference Proceeding
        Automated Test Generation and Mutation Testing for Alloy
        Proceedings of the 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST)
        [Sullivan, Allison, Wang, Kaiyuan, Zaeem, Razieh Nokhbeh , Khurshid, Sarfraz]. 264-275.

      2016
      • Conference Proceeding
        The Effect of Test Suite Type on Regression Test Selection
        Proceedings of the 27th IEEE International Symposium on Software Reliability Engineering (ISSRE)
        [Dini, Nima, Sullivan, Gligoric, Milos, Rothermel, Gregg]. 47-58.

      2014
      • Conference Proceeding
        Towards a test automation framework for Alloy
        Proceedings of the 2014 International Symposium on Model Checking of Software (SPIN)
        [Sullivan, Allison, Zaeem, RaziehNokhbeh, Khurshid, Sarfraz, Marinov]. 113-116.

Courses

      • CSE 6397-020 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102609)
        Fall - Regular Academic Session - 2021
      • CSE 6697-020 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102614)
        Fall - Regular Academic Session - 2021
      • CSE 4321-001 SOFTWARE TESTING & MAINTENANCE
        (Course Id: 102468)
        Fall - Regular Academic Session - 2021 Download Syllabus
      • CSE 6397-020 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102609)
        Spring - Regular Academic Session - 2021
      • CSE 5320-002 SPEC TOPS SOFTWARE ENGR
        (Topic: Computer Aided Verifi/Systems | Course Id: 102518)
        Spring - Regular Academic Session - 2021 Download Syllabus
      • CSE 6392-003 SPECIAL TOPICS
        (Topic: Computer Aided Verifi/Systems | Course Id: 102608)
        Spring - Regular Academic Session - 2021 Download Syllabus
      • CSE 5311-003 DSGN & ANLY ALGORITHMS
        (Course Id: 102509)
        Fall - Regular Academic Session - 2020 Download Syllabus
      • CSE 5311-203 DSGN & ANLY ALGORITHMS
        (Course Id: 102509)
        Fall - Regular Academic Session - 2020 Download Syllabus
      • CSE 5311-902 DSGN & ANLY ALGORITHMS
        (Course Id: 102509)
        Fall - Regular Academic Session - 2020

Service to the University

    • Sept 2020 to  Present Committee Member
      Broadening Participation in Computing Committee
      I serve on three subcommittes: BPC Student Awards, External BPC Conferences and K-12 Outreach sub-committees.
    • Sept 2020 to  Present Faculty Advisor
      Society of Women Engineers
      I am co-advising UTA's Society of Women Engineers with Carter Tiernan.

Service to the Profession

    • Sept 2018 to  Present
      Reviewer, Journal Article
      Software Tools for Technology Transfer (STTT)
    • Past to  Aug 2020
      Committee Member
      The 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE)
      ESEC/FSE 2020 Tool Demonstrations Track Program Committee Member
    • Past to  Nov 2019
      Committee Member
      The 5th International Conference on Research in Equity and Sustained Participation in Engineering, Computing, and Technology (RESPECT 2020)
      Program Committee Member
    • Past to  Sept 2019
      Committee Member
      The Special Interest Group on Computer Science Education Technical Symposium (SIGCSE 2020)
      Program Committee Member