GradNova

Home
Find Faculty
Universities
Research
Home
/
Research
/

Program Synthesis and Repair, Fault Localization, Live Programming, Mutation Testing, Specification Engineering

Program Synthesis and Repair, Fault Localization, Live Programming, Mutation Testing, Specification Engineering

1 faculty research Program Synthesis and Repair, Fault Localization, Live Programming, Mutation Testing, Specification Engineering 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