GradNova

Home
Find Faculty
Universities
Research
Home
/
Research
/

Theory > Formal Methods

Theory > Formal Methods

1 faculty research Theory > Formal Methods on GradNova.

A
Allison Sullivan

Associate Professor and Director of UG Software Engineering Program

Computer Science

The University of Texas at Arlington

Human-Centered Computing
Program Synthesis and Repair, Fault Localization, Live Programming, Mutation Testing, Specification Engineering
Software Engineering > Software Testing and Program Analysis
Theory > Formal Methods
+5