About SCOPE Labs

SCOPE Lab works on techniques for showing correctness of all program executions. We aims to develop foundational technologies for improving the reliability of software systems.

A core theme of our research is to reduce the effort needed by developers to ensure their software system works correctly. To reduce the “effort” we focus on building automated verification, debugging and synthesis techniques for the software implementation (code) and the software design (model). You can see an overview of our research work here.

We are part of the Software Engineering Research Center (SERC) within the Computer Science and Engineering Department at The University of Texas at Arlington (UTA).

(Yes, our icon is Allison’s smiling cat because…. why not?)

We are hiring!!

RAships/TAships appointments available: Please contact me if you are a interested in pursuing a PhD and have an interest in software engineering and formal verification.

  • If interested, you must also apply and be accepted to the PhD program at the Department of Computer Science and Engineering at the University of Texas at Arlington. Mention Dr. Sullivan in your statement of purpose.
  • In addition to applying to UTA’s CSE PhD program, interested applicants are encouraged to email a pre-application to Dr. Sullivan. Emails should have the title: “Scope Lab GRA Interest” and include a cover letter, CV and unofficial transcripts.
  • So, what will you get to work on? We are looking for students interested in working on our recently funded NSF CISE Core project.
  • Students generally interested in improving software testing or software verification techniques are also welcome to apply.

Research Topics

  • 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


  • November 2022: One paper “Abstract Alloy Instances” accepted into FM 2023.
  • September 2022: Our recent NSF grant is being talked about in the media.
  • July 2022: One paper “REACH: Refining Alloy Scenarios by Size” accepted into ISSRE 2022. Congratulations Ana!
  • July 2022: We have received a NSF CISE Core grant to work on incremental analysis of software models across their development, testing and synthesis.
  • April 2022: Congratulations Anahita and Ana on passing your diagnostic exams!
  • March 2022: One paper “Towards Automated Input Generation for Sketching Alloy Models” accepted into FormaliSE 2022. Congratulations Ana!
  • Feburary 2022: Congratulations Anahita on getting her master’s thesis work written up in Wired.
  • Feburary 2022: Hosted a workshop on z3 at OurCS@DFW.
  • Decemeber 2021: Resha presented her work on current limtiations of automated repair tools at UTA’s UROP Fall semester wrap up.
  • October 2021: Presented our solution enumeration tool Hawkeye at ISSRE2021.
  • July 2021: One paper accepted into ISSRE 2021!
  • June 2021: One paper accepted into FSE Demo 2021. Congratulations Tanvir!
  • June 2021: Allison recieved a NSF FmitF award to investigate improvements to Alloy’s scenario finding functionality.
  • More: (Older News).