Is the Java Type System Sound? - Sophia Drossopoulou; Susan Eisenbach; Sarfraz Khurshid (Theory Pract. Object Syst., 1999)

Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer. - Sarfraz Khurshid; Daniel Jackson 001 (ASE, 2000)

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

Testing an Intentional Naming Scheme Using Genetic Algorithms. - Sarfraz Khurshid (TACAS, 2001)

Checking Java implementation of a naming architecture using Testera. - Sarfraz Khurshid; Darko Marinov (Workshop on Software Model Checking @ CAV, 2001)

VAlloy - Virtual Functions Meet a Relational Language. - Darko Marinov; Sarfraz Khurshid (FME, 2002)

Korat: automated testing based on Java predicates. - Chandrasekhar Boyapati; Sarfraz Khurshid; Darko Marinov (ISSTA, 2002)

An analyzable annotation language. - Sarfraz Khurshid; Darko Marinov; Daniel Jackson 001 (OOPSLA, 2002)

Integrating Model Checking and Theorem Proving for Relational Reasoning. - Konstantine Arkoudas; Sarfraz Khurshid; Darko Marinov; Martin C. Rinard (RelMiCS, 2003)

A Case for Efficient Solution Enumeration. - Sarfraz Khurshid; Darko Marinov; Ilya Shlyakhter; Daniel Jackson 001 (SAT, 2003)

Generalized Symbolic Execution for Model Checking and Testing. - Sarfraz Khurshid; Corina S. Pasareanu; Willem Visser (TACAS, 2003)

Constraint-based generation of structurally complex tests. - Sarfraz Khurshid (2003)

Software assurance by bounded exhaustive testing. - Kevin J. Sullivan; Jinlin Yang; David Coppit; Sarfraz Khurshid; Daniel Jackson 001 (ISSTA, 2004)

Test input generation with java PathFinder. - Willem Visser; Corina S. Pasareanu; Sarfraz Khurshid (ISSTA, 2004)

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

Exploring very large state spaces using genetic algorithms. - Patrice Godefroid; Sarfraz Khurshid (Int. J. Softw. Tools Technol. Transf., 2004)

Generalizing symbolic execution to library classes. - Sarfraz Khurshid; Yuk Lai Suen (PASTE, 2005)

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

Repairing Structurally Complex Data. - Sarfraz Khurshid; Iván García; Yuk Lai Suen (SPIN, 2005)

Combining test case generation and runtime verification. - Cyrille Artho; Howard Barringer; Allen Goldberg; Klaus Havelund; Sarfraz Khurshid; Michael R. Lowry; Corina S. Pasareanu; Grigore Rosu; Koushik Sen; Willem Visser; Richard Washington (Theor. Comput. Sci., 2005)

Software Assurance by Bounded Exhaustive Testing. - David Coppit; Jinlin Yang; Sarfraz Khurshid; Wei Le; Kevin J. Sullivan (IEEE Trans. Software Eng., 2005)

An Automated Approach for Writing Alloy Specifications Using Instances. - Sarfraz Khurshid; Muhammad Zubair Malik; Engin Uzuncaova (ISoLA, 2006)

Analyzing the Uses of a Software Modeling Tool. - Xiaoming Li 004; Daryl Shannon; Jabari Walker; Sarfraz Khurshid; Darko Marinov (LDTA@ETAPS, 2006)

Program slicing for declarative models. - Engin Uzuncaova; Sarfraz Khurshid (ACM SIGSOFT Softw. Eng. Notes, 2006)

Efficiently Generating Structurally Complex Inputs with Thousands of Objects. - Bassem Elkarablieh; Yehia Zayour; Sarfraz Khurshid (ECOOP, 2007)

Global Optimization of Compositional Systems. - Fadi A. Zaraket; John Pape; Adnan Aziz; Margarida F. Jacome; Sarfraz Khurshid (FMCAD, 2007)

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

Kato: A Program Slicing Tool for Declarative Specifications. - Engin Uzuncaova; Sarfraz Khurshid (ICSE, 2007)

Sequential Circuits for Relational Analysis. - Fadi A. Zaraket; Adnan Aziz; Sarfraz Khurshid (ICSE, 2007)

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

Verification of Multi-agent Negotiations Using the Alloy Analyzer. - Rodion M. Podorozhny; Sarfraz Khurshid; Dewayne E. Perry; Xiaoqin Zhang 001 (IFM, 2007)

Assertion-based repair of complex data structures. - Bassem Elkarablieh; Iván García; Yuk Lai Suen; Sarfraz Khurshid (ASE, 2007)

Sequential circuits for program analysis. - Fadi A. Zaraket; Adnan Aziz; Sarfraz Khurshid (ASE, 2007)

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

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

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

Generating Representation Invariants of Structurally Complex Data. - Muhammad Zubair Malik; Aman Pervaiz; Sarfraz Khurshid (TACAS, 2007)

Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution. - Xin Li 010; Daryl Shannon; Indradeep Ghosh; Mizuhito Ogawa; Sreeranga P. Rajan; Sarfraz Khurshid (APLAS, 2008)

Constraint Prioritization for Efficient Analysis of Declarative Models. - Engin Uzuncaova; Sarfraz Khurshid (FM, 2008)

Juzi: a tool for repairing complex data structures. - Bassem Elkarablieh; Sarfraz Khurshid (ICSE, 2008)

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

State extensions for java pathfinder. - Tihomir Gvero; Milos Gligoric 001; Steven Lauterburg; Marcelo d'Amorim; Darko Marinov; Sarfraz Khurshid (ICSE, 2008)

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

Testing Software Product Lines Using Incremental Test Generation. - Engin Uzuncaova; Daniel Garcia; Sarfraz Khurshid; Don S. Batory (ISSRE, 2008)

Efficient solving of structural constraints. - Bassem Elkarablieh; Darko Marinov; Sarfraz Khurshid (ISSTA, 2008)

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

Semantic Impact and Faults in Source Code Changes: An Empirical Study. - Danhua Shao; Sarfraz Khurshid; Dewayne E. Perry (Australian Software Engineering Conference, 2009)

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

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

An Empirical Study of Structural Constraint Solving Techniques. - Junaid Haroon Siddiqui; Sarfraz Khurshid (ICFEM, 2009)

Optimizing Generation of Object Graphs in Java PathFinder. - Milos Gligoric 001; Tihomir Gvero; Steven Lauterburg; Darko Marinov; Sarfraz Khurshid (ICST, 2009)

PKorat: Parallel Generation of Structurally Complex Test Inputs. - Junaid Haroon Siddiqui; Sarfraz Khurshid (ICST, 2009)

A Case for Automated Debugging Using Data Structure Repair. - Muhammad Zubair Malik; Khalid Ghori; Bassem Elkarablieh; Sarfraz Khurshid (ASE, 2009)

Optimizing a Structural Constraint Solver for Efficient Software Checking. - Junaid Haroon Siddiqui; Darko Marinov; Sarfraz Khurshid (ASE, 2009)

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

A Case for Using Data-Flow Analysis to Optimize Incremental Scope-Bounded Checking. - Danhua Shao; Divya Gopinath; Sarfraz Khurshid; Dewayne E. Perry (ASM, 2010)

Introducing Specification-Based Data Structure Repair Using Alloy. - Razieh Nokhbeh Zaeem; Sarfraz Khurshid (ASM, 2010)

Contract-Based Data Structure Repair Using Alloy. - Razieh Nokhbeh Zaeem; Sarfraz Khurshid (ECOOP, 2010)

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

Optimizing Incremental Scope-Bounded Checking with Data-Flow Analysis. - Danhua Shao; Divya Gopinath; Sarfraz Khurshid; Dewayne E. Perry (ISSRE, 2010)

Automated SQL query generation for systematic testing of database engines. - Shadi Abdul Khalek; Sarfraz Khurshid (ASE, 2010)

Eliminating products to test in a software product line. - Chang Hwan Peter Kim; Don S. Batory; Sarfraz Khurshid (ASE, 2010)

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

Incremental Test Generation for Software Product Lines. - Engin Uzuncaova; Sarfraz Khurshid; Don S. Batory (IEEE Trans. Software Eng., 2010)

Reducing combinatorics in testing product lines. - Chang Hwan Peter Kim; Don S. Batory; Sarfraz Khurshid (AOSD, 2011)

Symbolic Execution of Alloy Models. - Junaid Haroon Siddiqui; Sarfraz Khurshid (ICFEM, 2011)

Symbolic execution for software testing in practice: preliminary assessment. - Cristian Cadar; Patrice Godefroid; Sarfraz Khurshid; Corina S. Pasareanu; Koushik Sen; Nikolai Tillmann; Willem Visser (ICSE, 2011)

Localizing failure-inducing program edits based on spectrum information. - Lingming Zhang 001; Miryung Kim; Sarfraz Khurshid (ICSM, 2011)

Systematic Testing of Database Engines Using a Relational Constraint Solver. - Shadi Abdul Khalek; Sarfraz Khurshid (ICST, 2011)

Constraint-Based Program Debugging Using Data Structure Repair. - Muhammad Zubair Malik; Junaid Haroon Siddiqui; Sarfraz Khurshid (ICST, 2011)

Efficiently Running Test Suites Using Abstract Undo Operations. - Shadi Abdul Khalek; Sarfraz Khurshid (ISSRE, 2011)

An Empirical Study of JUnit Test-Suite Reduction. - Lingming Zhang 001; Darko Marinov; Lu Zhang 023; Sarfraz Khurshid (ISSRE, 2011)

A case for alloy annotations for efficient incremental analysis via domain specific solvers. - Svetoslav R. Ganov; Sarfraz Khurshid; Dewayne E. Perry (ASE, 2011)

Mixed constraints for test input generation - An initial exploration. - Shadi Abdul Khalek; Vidya Priyadarshini Narayanan; Sarfraz Khurshid (ASE, 2011)

TestEra: A tool for testing Java programs using alloy specifications. - Shadi Abdul Khalek; Guowei Yang 001; Lingming Zhang 001; Darko Marinov; Sarfraz Khurshid (ASE, 2011)

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

Specification-Based Program Repair Using SAT. - Divya Gopinath; Muhammad Zubair Malik; Sarfraz Khurshid (TACAS, 2011)

Specification-Based Test Repair Using a Lightweight Formal Method. - Guowei Yang 001; Sarfraz Khurshid; Miryung Kim (FM, 2012)

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

Dynamic Shape Analysis Using Spectral Graph Properties. - Muhammad Zubair Malik; Sarfraz Khurshid (ICST, 2012)

Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving. - Junaid Haroon Siddiqui; Darko Marinov; Sarfraz Khurshid (ICST, 2012)

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

Localization of faults in software programs using Bernoulli divergences. - Shounak Roychowdhury; Sarfraz Khurshid (ISITA, 2012)

Shared Execution for Efficiently Testing Product Lines. - Chang Hwan Peter Kim; Sarfraz Khurshid; Don S. Batory (ISSRE, 2012)

Memoized symbolic execution. - Guowei Yang 001; Corina S. Pasareanu; Sarfraz Khurshid (ISSTA, 2012)

Regression mutation testing. - Lingming Zhang 001; Darko Marinov; Lu Zhang 023; Sarfraz Khurshid (ISSTA, 2012)

Improving the effectiveness of spectra-based fault localization using specifications. - Divya Gopinath; Razieh Nokhbeh Zaeem; Sarfraz Khurshid (ASE, 2012)

Scaling symbolic execution using ranged analysis. - Junaid Haroon Siddiqui; Sarfraz Khurshid (OOPSLA, 2012)

Staged symbolic execution. - Junaid Haroon Siddiqui; Sarfraz Khurshid (SAC, 2012)

Test input generation using dynamic programming. - Razieh Nokhbeh Zaeem; Sarfraz Khurshid (SIGSOFT FSE, 2012)

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

History-Aware Data Structure Repair Using SAT. - Razieh Nokhbeh Zaeem; Divya Gopinath; Sarfraz Khurshid; Kathryn S. McKinley (TACAS, 2012)

Ranged Model Checking. - Diego Funes; Junaid Haroon Siddiqui; Sarfraz Khurshid (ACM SIGSOFT Softw. Eng. Notes, 2012)

Temporal code completion and navigation. - Yun Young Lee; Sam Harwell; Sarfraz Khurshid; Darko Marinov (ICSE, 2013)

Memoise: a tool for memoized symbolic execution. - Guowei Yang 001; Sarfraz Khurshid; Corina S. Pasareanu (ICSE, 2013)

Faster mutation testing inspired by test prioritization and reduction. - Lingming Zhang 001; Darko Marinov; Sarfraz Khurshid (ISSTA, 2013)

Ranger: Parallel analysis of alloy models by range partitioning. - Nicolás Rosner; Junaid Haroon Siddiqui; Nazareno Aguirre; Sarfraz Khurshid; Marcelo F. Frias (ASE, 2013)

Improving bug localization using structured information retrieval. - Ripon K. Saha; Matthew Lease; Sarfraz Khurshid; Dewayne E. Perry (ASE, 2013)

Operator-based and random mutant selection: Better together. - Lingming Zhang 001; Milos Gligoric 001; Darko Marinov; Sarfraz Khurshid (ASE, 2013)

Injecting mechanical faults to localize developer faults for evolving software. - Lingming Zhang 001; Lu Zhang 023; Sarfraz Khurshid (OOPSLA, 2013)

Repair Abstractions for More Efficient Data Structure Repair. - Razieh Nokhbeh Zaeem; Muhammad Zubair Malik; Sarfraz Khurshid (RV, 2013)

SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems. - Chang Hwan Peter Kim; Darko Marinov; Sarfraz Khurshid; Don S. Batory; Sabrina Souto; Paulo Barros; Marcelo d'Amorim (ESEC/SIGSOFT FSE, 2013)

Scaling symbolic execution using staged analysis. - Junaid Haroon Siddiqui; Sarfraz Khurshid (Innov. Syst. Softw. Eng., 2013)

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

FaultTracer: a spectrum-based approach to localizing failure-inducing program edits. - Lingming Zhang 001; Miryung Kim; Sarfraz Khurshid (J. Softw. Evol. Process., 2013)

An empirical study of long lived bugs. - Ripon K. Saha; Sarfraz Khurshid; Dewayne E. Perry (CSMR-WCRE, 2014)

Data-guided repair of selection statements. - Divya Gopinath; Sarfraz Khurshid; Diptikalyan Saha; Satish Chandra 001 (ICSE, 2014)

Property differencing for incremental checking. - Guowei Yang 001; Sarfraz Khurshid; Suzette Person; Neha Rungta (ICSE, 2014)

On the Effectiveness of Information Retrieval Based Bug Localization for C Programs. - Ripon K. Saha; Julia Lawall; Sarfraz Khurshid; Dewayne E. Perry (ICSME, 2014)

Automated Generation of Oracles for Testing User-Interaction Features of Mobile Apps. - Razieh Nokhbeh Zaeem; Mukul R. Prasad; Sarfraz Khurshid (ICST, 2014)

Feedback-driven dynamic invariant discovery. - Lingming Zhang 001; Guowei Yang 001; Neha Rungta; Suzette Person; Sarfraz Khurshid (ISSTA, 2014)

Bounded exhaustive test input generation from hybrid invariants. - Nicolás Rosner; Valeria S. Bengolea; Pablo Ponzio; Shadi Abdul Khalek; Nazareno Aguirre; Marcelo F. Frias; Sarfraz Khurshid (OOPSLA, 2014)

Using Frankencerts for Automated Adversarial Testing of Certificate Validation in SSL/TLS Implementations. - Chad Brubaker; Suman Jana; Baishakhi Ray; Sarfraz Khurshid; Vitaly Shmatikov (IEEE Symposium on Security and Privacy, 2014)

Towards a test automation framework for alloy. - Allison Sullivan; Razieh Nokhbeh Zaeem; Sarfraz Khurshid; Darko Marinov (SPIN, 2014)

Directed Incremental Symbolic Execution. - Guowei Yang 001; Suzette Person; Neha Rungta; Sarfraz Khurshid (ACM Trans. Softw. Eng. Methodol., 2014)

Compositional Symbolic Execution with Memoized Replay. - Rui Qiu; Guowei Yang 001; Corina S. Pasareanu; Sarfraz Khurshid (ICSE (1), 2015)

An Information Retrieval Approach for Regression Test Prioritization Based on Program Changes. - Ripon K. Saha; Lingming Zhang 001; Sarfraz Khurshid; Dewayne E. Perry (ICSE (1), 2015)

Studying the influence of standard compiler optimizations on symbolic execution. - Shiyu Dong; Oswaldo Olivo; Lingming Zhang 001; Sarfraz Khurshid (ISSRE, 2015)

Are These Bugs Really "Normal"? - Ripon K. Saha; Julia Lawall; Sarfraz Khurshid; Dewayne E. Perry (MSR, 2015)

Faster bug detection for software product lines with incomplete feature models. - Sabrina Souto; Divya Gopinath; Marcelo d'Amorim; Darko Marinov; Sarfraz Khurshid; Don S. Batory (SPLC, 2015)

Understanding the triaging and fixing processes of long lived bugs. - Ripon K. Saha; Sarfraz Khurshid; Dewayne E. Perry (Inf. Softw. Technol., 2015)

A Sketching-Based Approach for Debugging Using Test Cases. - Jinru Hua; Sarfraz Khurshid (ATVA, 2016)

Certified Symbolic Execution. - Rui Qiu; Corina S. Pasareanu; Sarfraz Khurshid (ATVA, 2016)

Repairing Intricate Faults in Code Using Machine Learning and Path Exploration. - Divya Gopinath; Kaiyuan Wang; Jinru Hua; Sarfraz Khurshid (ICSME, 2016)

Evaluating the Effects of Compiler Optimizations on Mutation Testing at the Compiler IR Level. - Farah Hariri; August Shi; Hayes Converse; Sarfraz Khurshid; Darko Marinov (ISSRE, 2016)

The comKorat Tool: Unified Combinatorial and Constraint-Based Generation of Structurally Complex Tests. - Hua Zhong; Lingming Zhang 001; Sarfraz Khurshid (NFM, 2016)

Combinatorial generation of structurally complex test inputs for commercial software applications. - Hua Zhong; Lingming Zhang 001; Sarfraz Khurshid (SIGSOFT FSE, 2016)

Exploring Underdetermined Specifications using Java PathFinder. - Alex Gyori; Ben Lambeth; Sarfraz Khurshid; Darko Marinov (ACM SIGSOFT Softw. Eng. Notes, 2016)

Towards Exhaustive Testing of Websites using JPF. - Sarvesh Nagarajan; Nastaran Shafiei; Sarfraz Khurshid (ACM SIGSOFT Softw. Eng. Notes, 2016)

Mutation Testing Meets Approximate Computing. - Milos Gligoric 001; Sarfraz Khurshid; Sasa Misailovic; August Shi (ICSE-NIER, 2017)

A synergistic approach for distributed symbolic execution using test ranges. - Rui Qiu; Sarfraz Khurshid; Corina S. Pasareanu; Guowei Yang 001 (ICSE (Companion Volume), 2017)

Non-Semantics-Preserving Transformations for Higher-Coverage Test Generation Using Symbolic Execution. - Hayes Converse; Oswaldo Olivo; Sarfraz Khurshid (ICST, 2017)

Automated Test Generation and Mutation Testing for Alloy. - Allison Sullivan; Kaiyuan Wang; Razieh Nokhbeh Zaeem; Sarfraz Khurshid (ICST, 2017)

Boosting spectrum-based fault localization using PageRank. - Mengshi Zhang; Xia Li 009; Lingming Zhang 001; Sarfraz Khurshid (ISSTA, 2017)

Optimizing parallel Korat using invalid ranges. - Nima Dini; Cagdas Yelen; Sarfraz Khurshid (SPIN, 2017)

EdSketch: execution-driven sketching for Java. - Jinru Hua; Sarfraz Khurshid (SPIN, 2017)

Evaluating State Modeling Techniques in Alloy. - Allison Sullivan; Kaiyuan Wang; Sarfraz Khurshid; Darko Marinov (SQAMIA, 2017)

Bounded exhaustive test-input generation on GPUs. - Ahmet Çelik; Sreepathi Pai; Sarfraz Khurshid; Milos Gligoric 001 (Proc. ACM Program. Lang., 2017)

JPR: Replaying JPF Traces Using Standard JVM. - Kaiyuan Wang; Sarfraz Khurshid; Milos Gligoric 001 (ACM SIGSOFT Softw. Eng. Notes, 2017)

Perceptions on the State of the Art in Verification and Validation in Cyber-Physical Systems. - Xi Zheng 001; Christine Julien 001; Miryung Kim; Sarfraz Khurshid (IEEE Syst. J., 2017)

Natural Language Processing and Program Analysis for Supporting Todo Comments as Software Evolves. - Pengyu Nie 001; Junyi Jessy Li; Sarfraz Khurshid; Raymond J. Mooney; Milos Gligoric 001 (AAAI Workshops, 2018)

Systematic Generation of Non-equivalent Expressions for Relational Algebra. - Kaiyuan Wang; Allison Sullivan; Manos Koukoutos; Darko Marinov; Sarfraz Khurshid (ABZ, 2018)

Solver-Based Sketching of Alloy Models Using Test Valuations. - Kaiyuan Wang; Allison Sullivan; Darko Marinov; Sarfraz Khurshid (ABZ, 2018)

: Molecular Programming Language. - Marko Vasic; David Soloveichik; Sarfraz Khurshid (DNA, 2018)

Learning to Accelerate Symbolic Execution via Code Transformation. - Junjie Chen 003; Wenxiang Hu; Lingming Zhang 001; Dan Hao 001; Sarfraz Khurshid; Lu Zhang 023 (ECOOP, 2018)

Towards practical program repair with on-demand candidate generation. - Jinru Hua; Mengshi Zhang; Kaiyuan Wang; Sarfraz Khurshid (ICSE, 2018)

MuAlloy: a mutation testing framework for alloy. - Kaiyuan Wang; Allison Sullivan; Sarfraz Khurshid (ICSE (Companion Volume), 2018)

Approximate Transformations as Mutation Operators. - Farah Hariri; August Shi; Owolabi Legunsen; Milos Gligoric 001; Sarfraz Khurshid; Sasa Misailovic (ICST, 2018)

Accelerating Search-Based Program Repair. - Ben Mehne; Hiroaki Yoshida; Mukul R. Prasad; Koushik Sen; Divya Gopinath; Sarfraz Khurshid (ICST, 2018)

AUnit: A Test Automation Tool for Alloy. - Allison Sullivan; Kaiyuan Wang; Sarfraz Khurshid (ICST, 2018)

EdSynth: Synthesizing API Sequences with Conditionals and Loops. - Zijiang Yang; Jinru Hua; Kaiyuan Wang; Sarfraz Khurshid (ICST, 2018)

Test input generation with Java PathFinder: then and now (invited talk abstract). - Sarfraz Khurshid; Corina S. Pasareanu; Willem Visser (ISSTA, 2018)

Automated model repair for Alloy. - Kaiyuan Wang; Allison Sullivan; Sarfraz Khurshid (ASE, 2018)

DeepRoad: GAN-based metamorphic testing and input validation framework for autonomous driving systems. - Mengshi Zhang; Yuqun Zhang; Lingming Zhang 001; Cong Liu 005; Sarfraz Khurshid (ASE, 2018)

Using Test Ranges to Improve Symbolic Execution. - Rui Qiu; Sarfraz Khurshid; Corina S. Pasareanu; Junye Wen; Guowei Yang 001 (NFM, 2018)

Korat-API: a framework to enhance korat to better support testing and reliability techniques. - Nima Dini; Cagdas Yelen; Zakaria Alrmaih; Amresh Kulkarni; Sarfraz Khurshid (SAC, 2018)

SketchFix: a tool for automated program repair approach using lazy candidate generation. - Jinru Hua; Mengshi Zhang; Kaiyuan Wang; Sarfraz Khurshid (ESEC/SIGSOFT FSE, 2018)

ASketch: a sketching framework for Alloy. - Kaiyuan Wang; Allison Sullivan; Darko Marinov; Sarfraz Khurshid (ESEC/SIGSOFT FSE, 2018)

Reducing Combinatorial Testing Requirements Based on Equivalences with Respect to the Code Under Test. - Sarfraz Khurshid; Darko Marinov (SQAMIA, 2018)

Effectiveness of anonymization in double-blind review. - Claire Le Goues; Yuriy Brun; Sven Apel; Emery D. Berger; Sarfraz Khurshid; Yannis Smaragdakis (Commun. ACM, 2018)

DeepRoad: GAN-based Metamorphic Autonomous Driving System Testing. - Mengshi Zhang; Yuqun Zhang; Lingming Zhang 001; Cong Liu 005; Sarfraz Khurshid (CoRR, 2018)

Symbolic Execution for Deep Neural Networks. - Divya Gopinath; Kaiyuan Wang; Mengshi Zhang; Corina S. Pasareanu; Sarfraz Khurshid (CoRR, 2018)

Executable Trigger-Action Comments. - Pengyu Nie 001; Rishabh Rai; Junyi Jessy Li; Sarfraz Khurshid; Raymond J. Mooney; Milos Gligoric 001 (CoRR, 2018)

A Progress Bar for the JPF Search Using Program Executions. - Kaiyuan Wang; Hayes Converse; Milos Gligoric 001; Sasa Misailovic; Sarfraz Khurshid (ACM SIGSOFT Softw. Eng. Notes, 2018)

Solution Enumeration Abstraction: A Modeling Idiom to Enhance a Lightweight Formal Method. - Allison Sullivan; Darko Marinov; Sarfraz Khurshid (ICFEM, 2019)

Symbolic execution for attribution and attack synthesis in neural networks. - Divya Gopinath; Corina S. Pasareanu; Kaiyuan Wang; Mengshi Zhang; Sarfraz Khurshid (ICSE (Companion Volume), 2019)

ARepair: a repair framework for alloy. - Kaiyuan Wang; Allison Sullivan; Sarfraz Khurshid (ICSE (Companion Volume), 2019)

Extension-Aware Automated Testing Based on Imperative Predicates. - Nima Dini; Cagdas Yelen; Milos Gligoric 001; Sarfraz Khurshid (ICST, 2019)

Learning to Optimize the Alloy Analyzer. - Wenxi Wang; Kaiyuan Wang; Mengshi Zhang; Sarfraz Khurshid (ICST, 2019)

TestSage: Regression Test Selection for Large-Scale Web Service Testing. - Hua Zhong; Lingming Zhang 001; Sarfraz Khurshid (ICST, 2019)

Symbolic Execution for Importance Analysis and Adversarial Generation in Neural Networks. - Divya Gopinath; Mengshi Zhang; Kaiyuan Wang; Ismet Burak Kadron; Corina S. Pasareanu; Sarfraz Khurshid (ISSRE, 2019)

A framework for writing trigger-action todo comments in executable format. - Pengyu Nie 001; Rishabh Rai; Junyi Jessy Li; Sarfraz Khurshid; Raymond J. Mooney; Milos Gligoric 001 (ESEC/SIGSOFT FSE, 2019)

Learning Guided Enumerative Synthesis for Superoptimization. - Shikhar Singh; Mengshi Zhang; Sarfraz Khurshid (SPIN, 2019)

A Study of Learning Data Structure Invariants Using Off-the-shelf Tools. - Muhammad Usman 024; Wenxi Wang; Kaiyuan Wang; Cagdas Yelen; Nima Dini; Sarfraz Khurshid (SPIN, 2019)

Incremental Analysis of Evolving Alloy Models. - Wenxi Wang; Kaiyuan Wang; Milos Gligoric 001; Sarfraz Khurshid (TACAS (1), 2019)

MoËT: Interpretable and Verifiable Reinforcement Learning via Mixture of Expert Trees. - Marko Vasic; Andrija Petrovic; Kaiyuan Wang; Mladen Nikolic; Rishabh Singh; Sarfraz Khurshid (CoRR, 2019)

CRNs Exposed: Systematic Exploration of Chemical Reaction Networks. - Marko Vasic; David Soloveichik; Sarfraz Khurshid (CoRR, 2019)

A Study of the Learnability of Relational Properties (Model Counting Meets Machine Learning). - Muhammad Usman 024; Wenxi Wang; Kaiyuan Wang; Marko Vasic; Haris Vikalo; Sarfraz Khurshid (CoRR, 2019)

A synergistic approach to improving symbolic execution using test ranges. - Guowei Yang 001; Rui Qiu; Sarfraz Khurshid; Corina S. Pasareanu; Junye Wen (Innov. Syst. Softw. Eng., 2019)

Quantifying the Exploration of the Korat Solver for Imperative Constraints. - Alyas Almaawi; Hayes Converse; Milos Gligoric 001; Sasa Misailovic; Sarfraz Khurshid (ACM SIGSOFT Softw. Eng. Notes, 2019)

EdSketch: execution-driven sketching for Java. - Jinru Hua; Yushan Zhang; Yuqun Zhang; Sarfraz Khurshid (Int. J. Softw. Tools Technol. Transf., 2019)

CRNs Exposed: A Method for the Systematic Exploration of Chemical Reaction Networks. - Marko Vasic; David Soloveichik; Sarfraz Khurshid (DNA, 2020)

Parallel Chopped Symbolic Execution. - Shikhar Singh; Sarfraz Khurshid (ICFEM, 2020)

Deep Molecular Programming: A Natural Implementation of Binary-Weight ReLU Neural Networks. - Marko Vasic; Cameron T. Chalk; Sarfraz Khurshid; David Soloveichik (ICML, 2020)

Predictive constraint solving and analysis. - Alyas Almaawi; Nima Dini; Cagdas Yelen; Milos Gligoric 001; Sasa Misailovic; Sarfraz Khurshid (ICSE (NIER), 2020)

Designing Neural Networks Using Logical Specs. - Shikhar Singh; Marko Vasic; Sarfraz Khurshid (ISSRE, 2020)

Fault Localization for Declarative Models in Alloy. - Kaiyuan Wang; Allison Sullivan; Darko Marinov; Sarfraz Khurshid (ISSRE, 2020)

TestMC: Testing Model Counters using Differential and Metamorphic Testing. - Muhammad Usman 024; Wenxi Wang; Sarfraz Khurshid (ASE, 2020)

A study of the learnability of relational properties: model counting meets machine learning (MCML). - Muhammad Usman 024; Wenxi Wang; Marko Vasic; Kaiyuan Wang; Haris Vikalo; Sarfraz Khurshid (PLDI, 2020)

AlloyMC: Alloy meets model counting. - Jiayi Yang; Wenxi Wang; Darko Marinov; Sarfraz Khurshid (ESEC/SIGSOFT FSE, 2020)

A Study of Symmetry Breaking Predicates and Model Counting. - Wenxi Wang; Muhammad Usman 024; Alyas Almaawi; Kaiyuan Wang; Kuldeep S. Meel; Sarfraz Khurshid (TACAS (1), 2020)

CRN++: Molecular programming language. - Marko Vasic; David Soloveichik; Sarfraz Khurshid (Nat. Comput., 2020)

Unifying execution of imperative generators and declarative specifications. - Pengyu Nie 001; Marinela Parovic; Zhiqiang Zang; Sarfraz Khurshid; Aleksandar Milicevic; Milos Gligoric 001 (Proc. ACM Program. Lang., 2020)

The Java Pathfinder Workshop 2019. - Cyrille Artho; Quoc-Sang Phan; Peter Aldous; Alyas Almaawi; Lucas Bang; Lasse Berglund; Tevfik Bultan; Zhenbang Chen; Hayes Converse; Wei Dong 006; William Eiers; Milos Gligoric 001; et al. (ACM SIGSOFT Softw. Eng. Notes, 2020)

A study of learning likely data structure properties using machine learning models. - Muhammad Usman 024; Wenxi Wang; Kaiyuan Wang; Cagdas Yelen; Nima Dini; Sarfraz Khurshid (Int. J. Softw. Tools Technol. Transf., 2020)

Restoring the Executability of Jupyter Notebooks by Automatic Upgrade of Deprecated APIs. - Chenguang Zhu 002; Ripon K. Saha; Mukul R. Prasad; Sarfraz Khurshid (ASE, 2021)

Initial Results on Counting Test Orders for Order-Dependent Flaky Tests Using Alloy. - Wenxi Wang; Pu Yi 001; Sarfraz Khurshid; Darko Marinov (ICTSS, 2021)

Enhancing constraint-based repair of data structure errors that recur using memoization. - Nima Dini; Razieh Nokhbeh Zaeem; Sarfraz Khurshid (SAC, 2021)

ACHyb: a hybrid analysis approach to detect kernel access control vulnerabilities. - Yang Hu; Wenxi Wang; Casen Hunger; Riley Wood; Sarfraz Khurshid; Mohit Tiwari (ESEC/SIGSOFT FSE, 2021)

Distributed Symbolic Execution using Test-Depth Partitioning. - Shikhar Singh; Sarfraz Khurshid (CoRR, 2021)

Programming and Training Rate-Independent Chemical Reaction Networks. - Marko Vasic; Cameron T. Chalk; Austin Luchsinger; Sarfraz Khurshid; David Soloveichik (CoRR, 2021)

NeuroComb: Improving SAT Solving with Graph Neural Networks. - Wenxi Wang; Yang Hu; Mohit Tiwari; Sarfraz Khurshid; Kenneth L. McMillan; Risto Miikkulainen (CoRR, 2021)

An Empirical Study of Boosting Spectrum-Based Fault Localization via PageRank. - Mengshi Zhang; Yaoxian Li 001; Xia Li 009; Lingchao Chen; Yuqun Zhang; Lingming Zhang 001; Sarfraz Khurshid (IEEE Trans. Software Eng., 2021)

SAPIENTML: Synthesizing Machine Learning Pipelines by Learning from Human-Written Solutions. - Ripon K. Saha; Akira Ura; Sonal Mahajan; Chenguang Zhu 002; Linyi Li 001; Yang Hu; Hiroaki Yoshida; Sarfraz Khurshid; Mukul R. Prasad (ICSE, 2022)

SymMC: approximate model enumeration and counting using symmetry information for Alloy specifications. - Wenxi Wang; Yang Hu; Kenneth L. McMillan; Sarfraz Khurshid (ESEC/SIGSOFT FSE, 2022)

MoËT: Mixture of Expert Trees and its application to verifiable reinforcement learning. - Marko Vasic; Andrija Petrovic; Kaiyuan Wang; Mladen Nikolic; Rishabh Singh; Sarfraz Khurshid (Neural Networks, 2022)

Fixing Privilege Escalations in Cloud Access Control with MaxSAT and Graph Neural Networks. - Yang Hu; Wenxi Wang; Sarfraz Khurshid; Kenneth L. McMillan; Mohit Tiwari (ASE, 2023)

NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks. - Wenxi Wang; Yang Hu; Mohit Tiwari; Sarfraz Khurshid; Kenneth L. McMillan; Risto Miikkulainen (ICLR, 2024)

Generating executable oracles to check conformance of client code to requirements of JDK Javadocs using LLMs. - Shan Jiang; Chenguang Zhu 002; Sarfraz Khurshid (CoRR, 2024)

Detecting Multi-Parameter Constraint Inconsistencies in Python Data Science Libraries. - Xiufeng Xu; Fuman Xie; Chenguang Zhu 002; Guangdong Bai; Sarfraz Khurshid; Yi Li 008 (CoRR, 2024)

Identifying Multi-parameter Constraint Errors in Python Data Science Library API Documentation. - Xiufeng Xu; Fuman Xie; Chenguang Zhu 002; Guangdong Bai; Sarfraz Khurshid; Yi Li 008 (Proc. ACM Softw. Eng., 2025)

An approach for API synthesis using large language models. - Hua Zhong; Shan Jiang; Sarfraz Khurshid (CoRR, 2025)

On the Effectiveness of Large Language Models in Writing Alloy Formulas. - Yang Hong; Shan Jiang; Yulei Fu; Sarfraz Khurshid (CoRR, 2025)