Sarfraz Khurshid

2008
40	EE	Engin Uzuncaova, Sarfraz Khurshid: Constraint Prioritization for Efficient Analysis of Declarative Models. FM 2008: 310-325
39	EE	Bassem Elkarablieh, Sarfraz Khurshid: Juzi: a tool for repairing complex data structures. ICSE 2008: 855-858
38	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
37	EE	Tihomir Gvero, Milos Gligoric, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid: State extensions for java pathfinder. ICSE 2008: 863-866
36	EE	Bassem Elkarablieh, Darko Marinov, Sarfraz Khurshid: Efficient solving of structural constraints. ISSTA 2008: 39-50
2007
35	EE	Fadi A. Zaraket, Adnan Aziz, Sarfraz Khurshid: Sequential circuits for program analysis. ASE 2007: 114-123
34	EE	Bassem Elkarablieh, Ivan Garcia, Yuk Lai Suen, Sarfraz Khurshid: Assertion-based repair of complex data structures. ASE 2007: 64-73
33	EE	Bassem Elkarablieh, Yehia Zayour, Sarfraz Khurshid: Efficiently Generating Structurally Complex Inputs with Thousands of Objects. ECOOP 2007: 248-272
32	EE	Sasa Misailovic, Aleksandar Milicevic, Nemanja Petrovic, Sarfraz Khurshid, Darko Marinov: Parallel test generation and execution with Korat. ESEC/SIGSOFT FSE 2007: 135-144
31	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
30	EE	Fadi A. Zaraket, John Pape, Adnan Aziz, Magarida F. Jacome, Sarfraz Khurshid: Global Optimization of Compositional Systems. FMCAD 2007: 93-100
29	EE	Fadi A. Zaraket, Adnan Aziz, Sarfraz Khurshid: Sequential Circuits for Relational Analysis. ICSE 2007: 13-22
28	EE	Engin Uzuncaova, Sarfraz Khurshid: Kato: A Program Slicing Tool for Declarative Specifications. ICSE 2007: 767-770
27	EE	Aleksandar Milicevic, Sasa Misailovic, Darko Marinov, Sarfraz Khurshid: Korat: A Tool for Generating Structurally Complex Test Inputs. ICSE 2007: 771-774
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	[29] [30] [35]
4	Howard Barringer	[17]
5	Don S. Batory	[31]
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] [33] [34] [36] [39]
12	Daniel Garcia	[31]
13	Iván García	[19]
14	Ivan Garcia	[34]
15	Milos Gligoric	[37]
16	Patrice Godefroid	[6] [13]
17	Allen Goldberg	[17]
18	Tihomir Gvero	[37]
19	Klaus Havelund	[17]
20	Daniel Jackson	[2] [7] [11] [16]
21	Magarida F. Jacome	[30]
22	Steven Lauterburg	[37]
23	Wei Le	[18]
24	Xiaoming Li	[22]
25	Michael R. Lowry	[17]
26	Muhammad Zubair Malik	[24] [38]
27	Darko Marinov	[3] [5] [7] [8] [9] [11] [12] [14] [20] [22] [27] [32] [36] [37]
28	Kathryn S. McKinley	[25]
29	Aleksandar Milicevic	[27] [32]
30	Sasa Misailovic	[27] [32]
31	John Pape	[30]
32	Corina S. Pasareanu	[10] [15] [17]
33	Dewayne E. Perry	[26]
34	Aman Pervaiz	[24] [38]
35	Nemanja Petrovic	[32]
36	Rodion M. Podorozhny	[26]
37	Martin C. Rinard	[12] [20]
38	Grigore Rosu	[17]
39	Koushik Sen	[17]
40	Daryl Shannon	[22]
41	Ilya Shlyakhter	[11]
42	Yuk Lai Suen	[19] [21] [34]
43	Kevin J. Sullivan	[16] [18]
44	Engin Uzuncaova	[23] [28] [31] [38] [40]
45	Willem Visser	[10] [15] [17]
46	Duy Vu	[25]
47	Jabari Walker	[22]
48	Richard Washington	[17]
49	Jinlin Yang	[16] [18]
50	Fadi A. Zaraket	[29] [30] [35]
51	Yehia Zayour	[33]
52	Lintao Zhang	[20]
53	Xiaoqin Zhang (Shelley Zhang)	[26]
54	Marcelo d'Amorim	[37]

Colors in the list of coauthors