ACES 5.120
The University of Texas at Austin
Electrical and Computer Engineering
1 University Station C5000
Austin, TX 78712-0240
USA
Tel: +1 (512) 471 8244
Fax: +1 (512) 471 5120 khurshid@ece.utexas.edu
My research interests include automated software engineering, in
particular: static and dynamic checking of code conformance; software
testing; model checking; formal specification languages; and
applications of AI-based heuristics to program analysis.
My research is funded in part by the National Science Foundation
(awards CCF-0702680
and IIS-0438967).
C. Artho, H. Barringer, A. Goldberg, K. Havelund, S. Khurshid,
M. Lowry, C. Pasareanu, G. Rosu, K. Sen, W. Visser and R. Washington.
Combining Test Case Generation and Runtime Verification. Theoretical Computer
Science (TCS), Volume 336, Issues 2-3, Pages 209-234, 26 May
2005. *.pdf
D. Coppit, J. Yang, S. Khurshid, W. Le, and K. Sullivan. Software
Assurance by Bounded Exhaustive Testing. IEEE Transactions on Software Engineering (TSE), Volume
31, Issue 4, Pages 328-339, April 2005. (Journal version of
ISSTA'2004 paper.) *.pdf
S. Khurshid and D. Marinov. TestEra: Specification-based
Testing of Java Programs Using SAT. Automated
Software Engineering Journal, Volume 11, Number 4. October
2004. (Journal version of ASE'2001 paper.) *.pdf
D. Marinov, A. Andoni, D. Daniliuc, S. Khurshid, and M. Rinard
An evaluation of exhaustive testing for data structures.
Technical Report MIT-LCS-TR-921, MIT CSAIL, Cambridge, MA, September 2003.
*.pdf
S. Khurshid and D. Marinov. Checking Java Implementation of
a Naming Architecture Using TestEra. CAV Workshop on
Software Model Checking, Paris, France. Jul 2001. Electronic
Notes in Theoretical Computer Science (ENTCS), vol. 55(3), Elsevier
Science. *.pdf
S.Khurshid and D. Marinov. Using TestEra to Check the
Intentional Naming System of Oxygen (Extended Abstract). MIT Student Oxygen
Workshop, Gloucester, MA. Jul 2001. *.pdf
R. Podorozhny, S. Khurshid, D. Perry, X. Zhang. Verification of
Multi-agent Negotiations Using the Alloy Analyzer. iFM 2007: integrated
Formal Methods. Oxford, UK. July 2007. *.pdf
F. Zaraket, A. Aziz, and S. Khurshid. Applying a Sequential
Circuit Solver to Alloy. First Alloy Workshop (Alloy
2006). Portland, OR. November 2006.
D. Marinov and S. Khurshid. What Will the User Do (Next) in the
Tool? First Alloy
Workshop (Alloy 2006). Portland, OR. November 2006.
C. Chen, P. Grisham, S. Khurshid and D. Perry. Design and
Validation of a General Security Model with the Alloy Analyzer. First Alloy Workshop (Alloy
2006). Portland, OR. November 2006.
S. Khurshid. Exploring the Design of an Intentional Naming Scheme with
an Automatic Constraint Analyzer. S.M. Thesis. Laboratory for Computer
Science, M.I.T. Cambridge, MA. May 2000.
Sarfraz Khurshid
The University of Texas at Austin
Electrical and Computer Engineering
1 University Station C5000
Austin, TX 78712-0240
USA
(512) 471 8244
(512) 471 5120 (Fax)
khurshid@ece.utexas.edu