Sarfraz Khurshid

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

Colors in the list of coauthors