SarfrazKhurshid

Texas Engineer Sarfraz Khurshid
Professor

Research Interests

Software testing; Specification languages; Code conformance; Model checking; Heuristics in program analysis; Data structure repair; Program repair