College of Liberal Arts
skip to content The University of Texas at Austin

Sarfraz Khurshid

Professor

Software testing, specification languages, code conformance, model checking, application of heuristics in program analysis