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