Sarfraz Khurshid

Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves: Abstract State Machines, Alloy, B and Z Selected papers from ABZ 2010. Sci. Comput. Program. 78(3): 270-271 (2013)

Diego Funes, Junaid Haroon Siddiqui, Sarfraz Khurshid: Ranged Model Checking. ACM SIGSOFT Software Engineering Notes 37(6): 1-5 (2012)

Guowei Yang, Sarfraz Khurshid, Miryung Kim: Specification-Based Test Repair Using a Lightweight Formal Method. FM 2012: 455-470

Svetoslav R. Ganov, Sarfraz Khurshid, Dewayne E. Perry: Annotations for Alloy: Automated Incremental Analysis Using Domain Specific Solvers. ICFEM 2012: 414-429

Junaid Haroon Siddiqui, Darko Marinov, Sarfraz Khurshid: Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving. ICST 2012: 91-100

Muhammad Zubair Malik, Sarfraz Khurshid: Dynamic Shape Analysis Using Spectral Graph Properties. ICST 2012: 211-220

Shounak Roychowdhury, Sarfraz Khurshid: A family of generalized entropies and its application to software fault localization. IEEE Conf. of Intelligent Systems 2012: 368-373

Shounak Roychowdhury, Sarfraz Khurshid: Localization of faults in software programs using Bernoulli divergences. ISITA 2012: 586-590

Chang Hwan Peter Kim, Sarfraz Khurshid, Don S. Batory: Shared Execution for Efficiently Testing Product Lines. ISSRE 2012: 221-230

Guowei Yang, Corina S. Pasareanu, Sarfraz Khurshid: Memoized symbolic execution. ISSTA 2012: 144-154

Lingming Zhang, Darko Marinov, Lu Zhang, Sarfraz Khurshid: Regression mutation testing. ISSTA 2012: 331-341

Divya Gopinath, Razieh Nokhbeh Zaeem, Sarfraz Khurshid: Improving the effectiveness of spectra-based fault localization using specifications. ASE 2012: 40-49

Junaid Haroon Siddiqui, Sarfraz Khurshid: Scaling symbolic execution using ranged analysis. OOPSLA 2012: 523-536

Junaid Haroon Siddiqui, Sarfraz Khurshid: Staged symbolic execution. SAC 2012: 1339-1346

Razieh Nokhbeh Zaeem, Sarfraz Khurshid: Test input generation using dynamic programming. SIGSOFT FSE 2012: 34

Lingming Zhang, Miryung Kim, Sarfraz Khurshid: FaultTracer: a change impact and regression fault analysis tool for evolving Java programs. SIGSOFT FSE 2012: 40

Razieh Nokhbeh Zaeem, Divya Gopinath, Sarfraz Khurshid, Kathryn S. McKinley: History-Aware Data Structure Repair Using SAT. TACAS 2012: 2-17

John Derrick, John A. Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene (Eds.): Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Lecture Notes in Computer Science 7316, Springer 2012, isbn 978-3-642-30884-0

Sarfraz Khurshid, Koushik Sen (Eds.): Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7186, Springer 2012, isbn 978-3-642-29859-2

Chang Hwan Peter Kim, Don S. Batory, Sarfraz Khurshid: Reducing combinatorics in testing product lines. AOSD 2011: 57-68

Junaid Haroon Siddiqui, Sarfraz Khurshid: Symbolic Execution of Alloy Models. ICFEM 2011: 340-355

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

Lingming Zhang, Miryung Kim, Sarfraz Khurshid: Localizing failure-inducing program edits based on spectrum information. ICSM 2011: 23-32

Shadi Abdul Khalek, Sarfraz Khurshid: Systematic Testing of Database Engines Using a Relational Constraint Solver. ICST 2011: 50-59

Muhammad Zubair Malik, Junaid Haroon Siddiqui, Sarfraz Khurshid: Constraint-Based Program Debugging Using Data Structure Repair. ICST 2011: 190-199

Shadi Abdul Khalek, Sarfraz Khurshid: Efficiently Running Test Suites Using Abstract Undo Operations. ISSRE 2011: 110-119

Lingming Zhang, Darko Marinov, Lu Zhang, Sarfraz Khurshid: An Empirical Study of JUnit Test-Suite Reduction. ISSRE 2011: 170-179

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

Shadi Abdul Khalek, Vidya Priyadarshini Narayanan, Sarfraz Khurshid: Mixed constraints for test input generation - An initial exploration. ASE 2011: 548-551

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

Shounak Roychowdhury, Sarfraz Khurshid: A Novel Framework for Locating Software Faults Using Latent Divergences. ECML/PKDD (3) 2011: 49-64

Suzette Person, Guowei Yang, Neha Rungta, Sarfraz Khurshid: Directed incremental symbolic execution. PLDI 2011: 504-515

Divya Gopinath, Muhammad Zubair Malik, Sarfraz Khurshid: Specification-Based Program Repair Using SAT. TACAS 2011: 173-188

Engin Uzuncaova, Sarfraz Khurshid, Don S. Batory: Incremental Test Generation for Software Product Lines. IEEE Trans. Software Eng. 36(3): 309-322 (2010)

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

Razieh Nokhbeh Zaeem, Sarfraz Khurshid: Introducing Specification-Based Data Structure Repair Using Alloy. ASM 2010: 398-399

Razieh Nokhbeh Zaeem, Sarfraz Khurshid: Contract-Based Data Structure Repair Using Alloy. ECOOP 2010: 577-598

Milos Gligoric, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, Darko Marinov: Test generation through programming in UDITA. ICSE (1) 2010: 225-234

Danhua Shao, Divya Gopinath, Sarfraz Khurshid, Dewayne E. Perry: Optimizing Incremental Scope-Bounded Checking with Data-Flow Analysis. ISSRE 2010: 408-417

Chang Hwan Peter Kim, Don S. Batory, Sarfraz Khurshid: Eliminating products to test in a software product line. ASE 2010: 139-142

Shadi Abdul Khalek, Sarfraz Khurshid: Automated SQL query generation for systematic testing of database engines. ASE 2010: 329-332

Chang Hwan Peter Kim, Eric Bodden, Don S. Batory, Sarfraz Khurshid: Reducing Configurations to Monitor in a Software Product Line. RV 2010: 285-299

Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves (Eds.): Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings. Lecture Notes in Computer Science 5977, Springer 2010, isbn 978-3-642-11810-4

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

Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry: An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method. FM 2009: 757-772

Svetoslav R. Ganov, Chip Killmar, Sarfraz Khurshid, Dewayne E. Perry: Event Listener Analysis and Symbolic Execution for Testing GUI Applications. ICFEM 2009: 69-87

Junaid Haroon Siddiqui, Sarfraz Khurshid: An Empirical Study of Structural Constraint Solving Techniques. ICFEM 2009: 88-106

Milos Gligoric, Tihomir Gvero, Steven Lauterburg, Darko Marinov, Sarfraz Khurshid: Optimizing Generation of Object Graphs in Java PathFinder. ICST 2009: 51-60

Junaid Haroon Siddiqui, Sarfraz Khurshid: PKorat: Parallel Generation of Structurally Complex Test Inputs. ICST 2009: 250-259

Junaid Haroon Siddiqui, Darko Marinov, Sarfraz Khurshid: Optimizing a Structural Constraint Solver for Efficient Software Checking. ASE 2009: 615-619

Muhammad Zubair Malik, Khalid Ghori, Bassem Elkarablieh, Sarfraz Khurshid: A Case for Automated Debugging Using Data Structure Repair. ASE 2009: 620-624

Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry: SCA: a semantic conflict analyzer for parallel changes. ESEC/SIGSOFT FSE 2009: 291-292

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

Engin Uzuncaova, Sarfraz Khurshid: Constraint Prioritization for Efficient Analysis of Declarative Models. FM 2008: 310-325

Svetoslav R. Ganov, Chip Killmar, Sarfraz Khurshid, Dewayne E. Perry: Test Generation for Graphical User Interfaces Based on Symbolic Execution. AST 2008: 33-40

Bassem Elkarablieh, Sarfraz Khurshid: Juzi: a tool for repairing complex data structures. ICSE 2008: 855-858

Muhammad Zubair Malik, Aman Pervaiz, Engin Uzuncaova, Sarfraz Khurshid: Deryaft: a tool for generating representation invariants of structurally complex data. ICSE 2008: 859-862

Tihomir Gvero, Milos Gligoric, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid: State extensions for java pathfinder. ICSE 2008: 863-866

Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory: Testing Software Product Lines Using Incremental Test Generation. ISSRE 2008: 249-258

Bassem Elkarablieh, Darko Marinov, Sarfraz Khurshid: Efficient solving of structural constraints. ISSTA 2008: 39-50

Shadi Abdul Khalek, Bassem Elkarablieh, Yai O. Laleye, Sarfraz Khurshid: Query-Aware Test Generation Using a Relational Constraint Solver. ASE 2008: 238-247

Bassem Elkarablieh, Yehia Zayour, Sarfraz Khurshid: Efficiently Generating Structurally Complex Inputs with Thousands of Objects. ECOOP 2007: 248-272

Fadi A. Zaraket, John Pape, Adnan Aziz, Margarida F. Jacome, Sarfraz Khurshid: Global Optimization of Compositional Systems. FMCAD 2007: 93-100

Fadi A. Zaraket, Adnan Aziz, Sarfraz Khurshid: Sequential Circuits for Relational Analysis. ICSE 2007: 13-22

Engin Uzuncaova, Sarfraz Khurshid: Kato: A Program Slicing Tool for Declarative Specifications. ICSE 2007: 767-770

Aleksandar Milicevic, Sasa Misailovic, Darko Marinov, Sarfraz Khurshid: Korat: A Tool for Generating Structurally Complex Test Inputs. ICSE 2007: 771-774

Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry: Evaluation of Semantic Interference Detection in Parallel Changes: an Exploratory Experiment. ICSM 2007: 74-83

Rodion M. Podorozhny, Sarfraz Khurshid, Dewayne E. Perry, Xiaoqin Zhang: Verification of Multi-agent Negotiations Using the Alloy Analyzer. IFM 2007: 501-517

Bassem Elkarablieh, Ivan Garcia, Yuk Lai Suen, Sarfraz Khurshid: Assertion-based repair of complex data structures. ASE 2007: 64-73

Fadi A. Zaraket, Adnan Aziz, Sarfraz Khurshid: Sequential circuits for program analysis. ASE 2007: 114-123

Bassem Elkarablieh, Sarfraz Khurshid, Duy Vu, Kathryn S. McKinley: Starc: static analysis for efficient repair of complex data. OOPSLA 2007: 387-404

Sasa Misailovic, Aleksandar Milicevic, Nemanja Petrovic, Sarfraz Khurshid, Darko Marinov: Parallel test generation and execution with Korat. ESEC/SIGSOFT FSE 2007: 135-144

Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory: A specification-based approach to testing software product lines. ESEC/SIGSOFT FSE 2007: 525-528

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

Muhammad Zubair Malik, Aman Pervaiz, Sarfraz Khurshid: Generating Representation Invariants of Structurally Complex Data. TACAS 2007: 34-49

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)

Engin Uzuncaova, Sarfraz Khurshid: Program slicing for declarative models. ACM SIGSOFT Software Engineering Notes 31(6): 1-2 (2006)

Sarfraz Khurshid, Muhammad Zubair Malik, Engin Uzuncaova: An Automated Approach for Writing Alloy Specifications Using Instances. ISoLA 2006: 449-457

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)

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)

Sarfraz Khurshid, Yuk Lai Suen: Generalizing symbolic execution to library classes. PASTE 2005: 103-110

Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, Lintao Zhang, Martin C. Rinard: Optimizations for Compiling Declarative Models into Boolean Formulas. SAT 2005: 187-202

Sarfraz Khurshid, Iván García, Yuk Lai Suen: Repairing Structurally Complex Data. SPIN 2005: 123-138

Sarfraz Khurshid, Darko Marinov: TestEra: Specification-Based Testing of Java Programs Using SAT. Autom. Softw. Eng. 11(4): 403-434 (2004)

Patrice Godefroid, Sarfraz Khurshid: Exploring very large state spaces using genetic algorithms. STTT 6(2): 117-127 (2004)

Willem Visser, Corina S. Pasareanu, Sarfraz Khurshid: Test input generation with java PathFinder. ISSTA 2004: 97-107

Kevin J. Sullivan, Jinlin Yang, David Coppit, Sarfraz Khurshid, Daniel Jackson: Software assurance by bounded exhaustive testing. ISSTA 2004: 133-142

Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, Martin C. Rinard: Integrating Model Checking and Theorem Proving for Relational Reasoning. RelMiCS 2003: 21-33

Sarfraz Khurshid, Darko Marinov, Ilya Shlyakhter, Daniel Jackson: A Case for Efficient Solution Enumeration. SAT 2003: 272-286

Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser: Generalized Symbolic Execution for Model Checking and Testing. TACAS 2003: 553-568

Darko Marinov, Sarfraz Khurshid: VAlloy - Virtual Functions Meet a Relational Language. FME 2002: 234-251

Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov: Korat: automated testing based on Java predicates. ISSTA 2002: 123-133

Sarfraz Khurshid, Darko Marinov, Daniel Jackson: An analyzable annotation language. OOPSLA 2002: 231-245

Patrice Godefroid, Sarfraz Khurshid: Exploring Very Large State Spaces Using Genetic Algorithms. TACAS 2002: 266-280

Sarfraz Khurshid, Darko Marinov: Checking Java implementation of a naming architecture using Testera. Electr. Notes Theor. Comput. Sci. 55(3): 322-342 (2001)

Darko Marinov, Sarfraz Khurshid: TestEra: A Novel Framework for Automated Testing of Java Programs. ASE 2001: 22-

Sarfraz Khurshid: Testing an Intentional Naming Scheme Using Genetic Algorithms. TACAS 2001: 358-372

Sarfraz Khurshid, Daniel Jackson: Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer. ASE 2000: 13-22

Sophia Drossopoulou, Susan Eisenbach, Sarfraz Khurshid: Is the Java Type System Sound? TAPOS 5(1): 3-24 (1999)