Name:Allison Sullivan

Affiliation:The University of Texas at Arlington

Research interests:Software engineering, software testing, formal methods, programming languages