Sarfraz Khurshid

	2009
49		Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry: Semantic Impact and Faults in Source Code Changes: An Empirical Study. Australian Software Engineering Conference 2009: 131-141
48		Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry: SCA: a semantic conflict analyzer for parallel changes. ESEC/SIGSOFT FSE 2009: 291-292
47		Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry: An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method. FM 2009: 757-772
	2008
46		Xin Li, Daryl Shannon, Indradeep Ghosh, Mizuhito Ogawa, Sreeranga P. Rajan, Sarfraz Khurshid: Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution. APLAS 2008: 36-52
45		Shadi Abdul Khalek, Bassem Elkarablieh, Yai O. Laleye, Sarfraz Khurshid: Query-Aware Test Generation Using a Relational Constraint Solver. ASE 2008: 238-247
44		Engin Uzuncaova, Sarfraz Khurshid: Constraint Prioritization for Efficient Analysis of Declarative Models. FM 2008: 310-325
43		Bassem Elkarablieh, Sarfraz Khurshid: Juzi: a tool for repairing complex data structures. ICSE 2008: 855-858
42		Muhammad Zubair Malik, Aman Pervaiz, Engin Uzuncaova, Sarfraz Khurshid: Deryaft: a tool for generating representation invariants of structurally complex data. ICSE 2008: 859-862
41		Tihomir Gvero, Milos Gligoric, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid: State extensions for java pathfinder. ICSE 2008: 863-866
40		Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory: Testing Software Product Lines Using Incremental Test Generation. ISSRE 2008: 249-258
39		Bassem Elkarablieh, Darko Marinov, Sarfraz Khurshid: Efficient solving of structural constraints. ISSTA 2008: 39-50
	2007
38		Fadi A. Zaraket, Adnan Aziz, Sarfraz Khurshid: Sequential circuits for program analysis. ASE 2007: 114-123
37		Bassem Elkarablieh, Ivan Garcia, Yuk Lai Suen, Sarfraz Khurshid: Assertion-based repair of complex data structures. ASE 2007: 64-73
36		Bassem Elkarablieh, Yehia Zayour, Sarfraz Khurshid: Efficiently Generating Structurally Complex Inputs with Thousands of Objects. ECOOP 2007: 248-272
35		Sasa Misailovic, Aleksandar Milicevic, Nemanja Petrovic, Sarfraz Khurshid, Darko Marinov: Parallel test generation and execution with Korat. ESEC/SIGSOFT FSE 2007: 135-144
34		Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory: A specification-based approach to testing software product lines. ESEC/SIGSOFT FSE 2007: 525-528
33		Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory: A specification-based approach to testing software product lines. ESEC/SIGSOFT FSE (Companion) 2007: 525-528
32		Fadi A. Zaraket, John Pape, Adnan Aziz, Margarida F. Jacome, Sarfraz Khurshid: Global Optimization of Compositional Systems. FMCAD 2007: 93-100
31		Fadi A. Zaraket, Adnan Aziz, Sarfraz Khurshid: Sequential Circuits for Relational Analysis. ICSE 2007: 13-22
30		Engin Uzuncaova, Sarfraz Khurshid: Kato: A Program Slicing Tool for Declarative Specifications. ICSE 2007: 767-770
29		Aleksandar Milicevic, Sasa Misailovic, Darko Marinov, Sarfraz Khurshid: Korat: A Tool for Generating Structurally Complex Test Inputs. ICSE 2007: 771-774
28		Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry: Evaluation of Semantic Interference Detection in Parallel Changes: an Exploratory Experiment. ICSM 2007: 74-83
27		Rodion M. Podorozhny, Sarfraz Khurshid, Dewayne E. Perry, Xiaoqin Zhang: Verification of Multi-agent Negotiations Using the Alloy Analyzer. IFM 2007: 501-517
26		Bassem Elkarablieh, Sarfraz Khurshid, Duy Vu, Kathryn S. McKinley: Starc: static analysis for efficient repair of complex data. OOPSLA 2007: 387-404
25		Muhammad Zubair Malik, Aman Pervaiz, Sarfraz Khurshid: Generating Representation Invariants of Structurally Complex Data. TACAS 2007: 34-49
	2006
24		Sarfraz Khurshid, Muhammad Zubair Malik, Engin Uzuncaova: An Automated Approach for Writing Alloy Specifications Using Instances. ISoLA 2006: 449-457
23		Engin Uzuncaova, Sarfraz Khurshid: Program slicing for declarative models. ACM SIGSOFT Software Engineering Notes 31(6): 1-2 (2006)
22		Xiaoming Li, Daryl Shannon, Jabari Walker, Sarfraz Khurshid, Darko Marinov: Analyzing the Uses of a Software Modeling Tool. Electr. Notes Theor. Comput. Sci. 164(2): 3-18 (2006)
	2005
21		Sarfraz Khurshid, Yuk Lai Suen: Generalizing symbolic execution to library classes. PASTE 2005: 103-110
20		Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, Lintao Zhang, Martin C. Rinard: Optimizations for Compiling Declarative Models into Boolean Formulas. SAT 2005: 187-202
19		Sarfraz Khurshid, Iván García, Yuk Lai Suen: Repairing Structurally Complex Data. SPIN 2005: 123-138
18		David Coppit, Jinlin Yang, Sarfraz Khurshid, Wei Le, Kevin J. Sullivan: Software Assurance by Bounded Exhaustive Testing. IEEE Trans. Software Eng. 31(4): 328-339 (2005)
17		Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Richard Washington: Combining test case generation and runtime verification. Theor. Comput. Sci. 336(2-3): 209-234 (2005)
	2004
16		Kevin J. Sullivan, Jinlin Yang, David Coppit, Sarfraz Khurshid, Daniel Jackson: Software assurance by bounded exhaustive testing. ISSTA 2004: 133-142
15		Willem Visser, Corina S. Pasareanu, Sarfraz Khurshid: Test input generation with java PathFinder. ISSTA 2004: 97-107
14		Sarfraz Khurshid, Darko Marinov: TestEra: Specification-Based Testing of Java Programs Using SAT. Autom. Softw. Eng. 11(4): 403-434 (2004)
13		Patrice Godefroid, Sarfraz Khurshid: Exploring very large state spaces using genetic algorithms. STTT 6(2): 117-127 (2004)
	2003
12		Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, Martin C. Rinard: Integrating Model Checking and Theorem Proving for Relational Reasoning. RelMiCS 2003: 21-33
11		Sarfraz Khurshid, Darko Marinov, Ilya Shlyakhter, Daniel Jackson: A Case for Efficient Solution Enumeration. SAT 2003: 272-286
10		Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser: Generalized Symbolic Execution for Model Checking and Testing. TACAS 2003: 553-568
	2002
9		Darko Marinov, Sarfraz Khurshid: VAlloy - Virtual Functions Meet a Relational Language. FME 2002: 234-251
8		Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov: Korat: automated testing based on Java predicates. ISSTA 2002: 123-133
7		Sarfraz Khurshid, Darko Marinov, Daniel Jackson: An analyzable annotation language. OOPSLA 2002: 231-245
6		Patrice Godefroid, Sarfraz Khurshid: Exploring Very Large State Spaces Using Genetic Algorithms. TACAS 2002: 266-280
	2001
5		Darko Marinov, Sarfraz Khurshid: TestEra: A Novel Framework for Automated Testing of Java Programs. ASE 2001: 22-
4		Sarfraz Khurshid: Testing an Intentional Naming Scheme Using Genetic Algorithms. TACAS 2001: 358-372
3		Sarfraz Khurshid, Darko Marinov: Checking Java implementation of a naming architecture using Testera. Electr. Notes Theor. Comput. Sci. 55(3): (2001)
	2000
2		Sarfraz Khurshid, Daniel Jackson: Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer. ASE 2000: 13-22
	1999
1		Sophia Drossopoulou, Susan Eisenbach, Sarfraz Khurshid: Is the Java Type System Sound? TAPOS 5(1): 3-24 (1999)

Coauthor Index

1	Konstantine Arkoudas	[12]
2	Cyrille Artho	[17]
3	Adnan Aziz	[31] [32] [38]
4	Howard Barringer	[17]
5	Don S. Batory	[33] [34] [40]
6	Chandrasekhar Boyapati	[8]
7	Suhabe Bugrara	[20]
8	David Coppit	[16] [18]
9	Sophia Drossopoulou	[1]
10	Susan Eisenbach	[1]
11	Bassem Elkarablieh	[26] [36] [37] [39] [43] [45]
12	Daniel Garcia	[33] [34] [40]
13	Iván García	[19]
14	Ivan Garcia	[37]
15	Indradeep Ghosh	[46]
16	Milos Gligoric	[41]
17	Patrice Godefroid	[6] [13]
18	Allen Goldberg	[17]
19	Tihomir Gvero	[41]
20	Klaus Havelund	[17]
21	Daniel Jackson	[2] [7] [11] [16]
22	Margarida F. Jacome	[32]
23	Shadi Abdul Khalek	[45]
24	Yai O. Laleye	[45]
25	Steven Lauterburg	[41]
26	Wei Le	[18]
27	Xiaoming Li	[22]
28	Xin Li	[46]
29	Michael R. Lowry	[17]
30	Muhammad Zubair Malik	[24] [25] [42]
31	Darko Marinov	[3] [5] [7] [8] [9] [11] [12] [14] [20] [22] [29] [35] [39] [41]
32	Kathryn S. McKinley	[26]
33	Aleksandar Milicevic	[29] [35]
34	Sasa Misailovic	[29] [35]
35	Mizuhito Ogawa	[46]
36	John Pape	[32]
37	Corina S. Pasareanu	[10] [15] [17]
38	Dewayne E. Perry	[27] [28] [47] [48] [49]
39	Aman Pervaiz	[25] [42]
40	Nemanja Petrovic	[35]
41	Rodion M. Podorozhny	[27]
42	Sreeranga P. Rajan	[46]
43	Martin C. Rinard	[12] [20]
44	Grigore Rosu	[17]
45	Koushik Sen	[17]
46	Daryl Shannon	[22] [46]
47	Danhua Shao	[28] [47] [48] [49]
48	Ilya Shlyakhter	[11]
49	Yuk Lai Suen	[19] [21] [37]
50	Kevin J. Sullivan	[16] [18]
51	Engin Uzuncaova	[23] [24] [30] [33] [34] [40] [42] [44]
52	Willem Visser	[10] [15] [17]
53	Duy Vu	[26]
54	Jabari Walker	[22]
55	Richard Washington	[17]
56	Jinlin Yang	[16] [18]
57	Fadi A. Zaraket	[31] [32] [38]
58	Yehia Zayour	[36]
59	Lintao Zhang	[20]
60	Xiaoqin Zhang (Shelley Zhang)	[27]
61	Marcelo d'Amorim	[41]

Colors in the list of coauthors