Sarfraz Khurshid

	2012
84		Sarfraz Khurshid, Koushik Sen: Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers Springer 2012
83		Muhammad Zubair Malik, Sarfraz Khurshid: Dynamic Shape Analysis Using Spectral Graph Properties. ICST 2012: 211-220
82		Junaid Haroon Siddiqui, Darko Marinov, Sarfraz Khurshid: Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving. ICST 2012: 91-100
81		Razieh Nokhbeh Zaeem, Divya Gopinath, Sarfraz Khurshid, Kathryn S. McKinley: History-Aware Data Structure Repair Using SAT. TACAS 2012: 2-17
	2011
80		Chang Hwan Peter Kim, Don S. Batory, Sarfraz Khurshid: Reducing combinatorics in testing product lines. AOSD 2011: 57-68
79		Svetoslav R. Ganov, Sarfraz Khurshid, Dewayne E. Perry: A case for alloy annotations for efficient incremental analysis via domain specific solvers. ASE 2011: 464-467
78		Shadi Abdul Khalek, Vidya Priyadarshini Narayanan, Sarfraz Khurshid: Mixed constraints for test input generation - An initial exploration. ASE 2011: 548-551
77		Shadi Abdul Khalek, Guowei Yang, Lingming Zhang, Darko Marinov, Sarfraz Khurshid: TestEra: A tool for testing Java programs using alloy specifications. ASE 2011: 608-611
76		Shounak Roychowdhury, Sarfraz Khurshid: A Novel Framework for Locating Software Faults Using Latent Divergences. ECML/PKDD (3) 2011: 49-64
75		Junaid Haroon Siddiqui, Sarfraz Khurshid: Symbolic Execution of Alloy Models. ICFEM 2011: 340-355
74		Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Pasareanu, Koushik Sen, Nikolai Tillmann, Willem Visser: Symbolic execution for software testing in practice: preliminary assessment. ICSE 2011: 1066-1071
73		Lingming Zhang, Miryung Kim, Sarfraz Khurshid: Localizing failure-inducing program edits based on spectrum information. ICSM 2011: 23-32
72		Muhammad Zubair Malik, Junaid Haroon Siddiqui, Sarfraz Khurshid: Constraint-Based Program Debugging Using Data Structure Repair. ICST 2011: 190-199
71		Shadi Abdul Khalek, Sarfraz Khurshid: Systematic Testing of Database Engines Using a Relational Constraint Solver. ICST 2011: 50-59
70		Shadi Abdul Khalek, Sarfraz Khurshid: Efficiently Running Test Suites Using Abstract Undo Operations. ISSRE 2011: 110-119
69		Lingming Zhang, Darko Marinov, Lu Zhang, Sarfraz Khurshid: An Empirical Study of JUnit Test-Suite Reduction. ISSRE 2011: 170-179
68		Suzette Person, Guowei Yang, Neha Rungta, Sarfraz Khurshid: Directed incremental symbolic execution. PLDI 2011: 504-515
67		Divya Gopinath, Muhammad Zubair Malik, Sarfraz Khurshid: Specification-Based Program Repair Using SAT. TACAS 2011: 173-188
	2010
66		Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves: Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings Springer 2010
65		Chang Hwan Peter Kim, Don S. Batory, Sarfraz Khurshid: Eliminating products to test in a software product line. ASE 2010: 139-142
64		Shadi Abdul Khalek, Sarfraz Khurshid: Automated SQL query generation for systematic testing of database engines. ASE 2010: 329-332
63		Danhua Shao, Divya Gopinath, Sarfraz Khurshid, Dewayne E. Perry: A Case for Using Data-Flow Analysis to Optimize Incremental Scope-Bounded Checking. ASM 2010: 392-393
62		Razieh Nokhbeh Zaeem, Sarfraz Khurshid: Introducing Specification-Based Data Structure Repair Using Alloy. ASM 2010: 398-399
61		Razieh Nokhbeh Zaeem, Sarfraz Khurshid: Contract-Based Data Structure Repair Using Alloy. ECOOP 2010: 577-598
60		Milos Gligoric, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, Darko Marinov: Test generation through programming in UDITA. ICSE (1) 2010: 225-234
59		Danhua Shao, Divya Gopinath, Sarfraz Khurshid, Dewayne E. Perry: Optimizing Incremental Scope-Bounded Checking with Data-Flow Analysis. ISSRE 2010: 408-417
58		Chang Hwan Peter Kim, Eric Bodden, Don S. Batory, Sarfraz Khurshid: Reducing Configurations to Monitor in a Software Product Line. RV 2010: 285-299
57		Engin Uzuncaova, Sarfraz Khurshid, Don S. Batory: Incremental Test Generation for Software Product Lines. IEEE Trans. Software Eng. 36(3): 309-322 (2010)
	2009
56		Junaid Haroon Siddiqui, Darko Marinov, Sarfraz Khurshid: Optimizing a Structural Constraint Solver for Efficient Software Checking. ASE 2009: 615-619
55		Muhammad Zubair Malik, Khalid Ghori, Bassem Elkarablieh, Sarfraz Khurshid: A Case for Automated Debugging Using Data Structure Repair. ASE 2009: 620-624
54		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
53		Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry: SCA: a semantic conflict analyzer for parallel changes. ESEC/SIGSOFT FSE 2009: 291-292
52		Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry: An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method. FM 2009: 757-772
51		Svetoslav R. Ganov, Chip Killmar, Sarfraz Khurshid, Dewayne E. Perry: Event Listener Analysis and Symbolic Execution for Testing GUI Applications. ICFEM 2009: 69-87
50		Junaid Haroon Siddiqui, Sarfraz Khurshid: An Empirical Study of Structural Constraint Solving Techniques. ICFEM 2009: 88-106
49		Junaid Haroon Siddiqui, Sarfraz Khurshid: PKorat: Parallel Generation of Structurally Complex Test Inputs. ICST 2009: 250-259
48		Milos Gligoric, Tihomir Gvero, Steven Lauterburg, Darko Marinov, Sarfraz Khurshid: Optimizing Generation of Object Graphs in Java PathFinder. ICST 2009: 51-60
	2008
47		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
46		Shadi Abdul Khalek, Bassem Elkarablieh, Yai O. Laleye, Sarfraz Khurshid: Query-Aware Test Generation Using a Relational Constraint Solver. ASE 2008: 238-247
45		Svetoslav R. Ganov, Chip Killmar, Sarfraz Khurshid, Dewayne E. Perry: Test Generation for Graphical User Interfaces Based on Symbolic Execution. AST 2008: 33-40
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): 322-342 (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 (Cyrille Valentin Artho)	[17]
3	Adnan Aziz	[31] [32] [38]
4	Howard Barringer	[17]
5	Don S. Batory	[33] [34] [40] [57] [58] [65] [80]
6	Eric Bodden	[58]
7	Chandrasekhar Boyapati	[8]
8	Suhabe Bugrara	[20]
9	Cristian Cadar	[74]
10	David Coppit	[16] [18]
11	Sophia Drossopoulou	[1]
12	Susan Eisenbach	[1]
13	Bassem Elkarablieh	[26] [36] [37] [39] [43] [46] [55]
14	Marc Frappier	[66]
15	Svetoslav R. Ganov	[45] [51] [79]
16	Daniel Garcia	[33] [34] [40]
17	Iván García	[19]
18	Ivan Garcia	[37]
19	Khalid Ghori	[55]
20	Indradeep Ghosh	[47]
21	Uwe Glässer	[66]
22	Milos Gligoric	[41] [48] [60]
23	Patrice Godefroid	[6] [13] [74]
24	Allen Goldberg	[17]
25	Divya Gopinath	[59] [63] [67] [81]
26	Tihomir Gvero	[41] [48] [60]
27	Klaus Havelund	[17]
28	Daniel Jackson	[2] [7] [11] [16]
29	Margarida F. Jacome	[32]
30	Vilas Jagannath	[60]
31	Shadi Abdul Khalek	[46] [64] [70] [71] [77] [78]
32	Chip Killmar	[45] [51]
33	Chang Hwan Peter Kim	[58] [65] [80]
34	Miryung Kim	[73]
35	Viktor Kuncak	[60]
36	Régine Laleau (Regine Laleau)	[66]
37	Yai O. Laleye	[46]
38	Steven Lauterburg	[41] [48]
39	Wei Le	[18]
40	Xiaoming Li	[22]
41	Xin Li	[47]
42	Michael R. Lowry	[17]
43	Muhammad Zubair Malik	[24] [25] [42] [55] [67] [72] [83]
44	Darko Marinov	[3] [5] [7] [8] [9] [11] [12] [14] [20] [22] [29] [35] [39] [41] [48] [56] [60] [69] [77] [82]
45	Kathryn S. McKinley	[26] [81]
46	Aleksandar Milicevic	[29] [35]
47	Sasa Misailovic	[29] [35]
48	Vidya Priyadarshini Narayanan	[78]
49	Mizuhito Ogawa	[47]
50	John Pape	[32]
51	Corina S. Pasareanu	[10] [15] [17] [74]
52	Dewayne E. Perry	[27] [28] [45] [51] [52] [53] [54] [59] [63] [79]
53	Suzette Person	[68]
54	Aman Pervaiz	[25] [42]
55	Nemanja Petrovic	[35]
56	Rodion M. Podorozhny	[27]
57	Sreeranga P. Rajan	[47]
58	Steve Reeves	[66]
59	Martin C. Rinard	[12] [20]
60	Grigore Rosu	[17]
61	Shounak Roychowdhury	[76]
62	Neha Rungta	[68]
63	Koushik Sen	[17] [74] [84]
64	Daryl Shannon	[22] [47]
65	Danhua Shao	[28] [52] [53] [54] [59] [63]
66	Ilya Shlyakhter	[11]
67	Junaid Haroon Siddiqui	[49] [50] [56] [72] [75] [82]
68	Yuk Lai Suen	[19] [21] [37]
69	Kevin J. Sullivan	[16] [18]
70	Nikolai Tillmann	[74]
71	Engin Uzuncaova	[23] [24] [30] [33] [34] [40] [42] [44] [57]
72	Willem Visser	[10] [15] [17] [74]
73	Duy Vu	[26]
74	Jabari Walker	[22]
75	Richard Washington	[17]
76	Guowei Yang	[68] [77]
77	Jinlin Yang	[16] [18]
78	Razieh Nokhbeh Zaeem	[61] [62] [81]
79	Fadi A. Zaraket	[31] [32] [38]
80	Yehia Zayour	[36]
81	Lingming Zhang	[69] [73] [77]
82	Lintao Zhang	[20]
83	Xiaoqin Zhang (Shelley Zhang)	[27]
84	Lu Zhang	[69]
85	Marcelo d'Amorim	[41]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page