| 2024 | ICLR | NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks. | Wenxi Wang, Yang Hu, Mohit Tiwari, Sarfraz Khurshid, Kenneth L. McMillan, Risto Miikkulainen |
| 2022 | ICSE | SAPIENTML: Synthesizing Machine Learning Pipelines by Learning from Human-Written Solutions. | Ripon K. Saha, Akira Ura, Sonal Mahajan, Chenguang Zhu, Linyi Li, Yang Hu, Hiroaki Yoshida, Sarfraz Khurshid, Mukul R. Prasad |
| 2021 | SAC | Enhancing constraint-based repair of data structure errors that recur using memoization. | Nima Dini, Razieh Nokhbeh Zaeem, Sarfraz Khurshid |
| 2020 | DNA | CRNs Exposed: A Method for the Systematic Exploration of Chemical Reaction Networks. | Marko Vasic, David Soloveichik, Sarfraz Khurshid |
| 2020 | ICFEM | Parallel Chopped Symbolic Execution. | Shikhar Singh, Sarfraz Khurshid |
| 2020 | ICML | Deep Molecular Programming: A Natural Implementation of Binary-Weight ReLU Neural Networks. | Marko Vasic, Cameron T. Chalk, Sarfraz Khurshid, David Soloveichik |
| 2020 | ICSE | Predictive constraint solving and analysis. | Alyas Almaawi, Nima Dini, Cagdas Yelen, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid |
| 2020 | ISSRE | Designing Neural Networks Using Logical Specs. | Shikhar Singh, Marko Vasic, Sarfraz Khurshid |
| 2020 | ISSRE | Fault Localization for Declarative Models in Alloy. | Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid |
| 2020 | PLDI | A study of the learnability of relational properties: model counting meets machine learning (MCML). | Muhammad Usman, Wenxi Wang, Marko Vasic, Kaiyuan Wang, Haris Vikalo, Sarfraz Khurshid |
| 2020 | TACAS | A Study of Symmetry Breaking Predicates and Model Counting. | Wenxi Wang, Muhammad Usman, Alyas Almaawi, Kaiyuan Wang, Kuldeep S. Meel, Sarfraz Khurshid |
| 2019 | ICFEM | Solution Enumeration Abstraction: A Modeling Idiom to Enhance a Lightweight Formal Method. | Allison Sullivan, Darko Marinov, Sarfraz Khurshid |
| 2019 | ICSE | Symbolic execution for attribution and attack synthesis in neural networks. | Divya Gopinath, Corina S. Pasareanu, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid |
| 2019 | ICSE | ARepair: a repair framework for alloy. | Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid |
| 2019 | ICST | Extension-Aware Automated Testing Based on Imperative Predicates. | Nima Dini, Cagdas Yelen, Milos Gligoric, Sarfraz Khurshid |
| 2019 | ICST | Learning to Optimize the Alloy Analyzer. | Wenxi Wang, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid |
| 2019 | ICST | TestSage: Regression Test Selection for Large-Scale Web Service Testing. | Hua Zhong, Lingming Zhang, Sarfraz Khurshid |
| 2019 | ISSRE | 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 |
| 2019 | TACAS | Incremental Analysis of Evolving Alloy Models. | Wenxi Wang, Kaiyuan Wang, Milos Gligoric, Sarfraz Khurshid |
| 2018 | AAAI | Natural Language Processing and Program Analysis for Supporting Todo Comments as Software Evolves. | Pengyu Nie, Junyi Jessy Li, Sarfraz Khurshid, Raymond J. Mooney, Milos Gligoric |
| 2018 | DNA | : Molecular Programming Language. | Marko Vasic, David Soloveichik, Sarfraz Khurshid |
| 2018 | ECOOP | Learning to Accelerate Symbolic Execution via Code Transformation. | Junjie Chen, Wenxiang Hu, Lingming Zhang, Dan Hao, Sarfraz Khurshid, Lu Zhang |
| 2018 | ICSE | Towards practical program repair with on-demand candidate generation. | Jinru Hua, Mengshi Zhang, Kaiyuan Wang, Sarfraz Khurshid |
| 2018 | ICSE | MuAlloy: a mutation testing framework for alloy. | Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid |
| 2018 | ICST | Approximate Transformations as Mutation Operators. | Farah Hariri, August Shi, Owolabi Legunsen, Milos Gligoric, Sarfraz Khurshid, Sasa Misailovic |
| 2018 | ICST | Accelerating Search-Based Program Repair. | Ben Mehne, Hiroaki Yoshida, Mukul R. Prasad, Koushik Sen, Divya Gopinath, Sarfraz Khurshid |
| 2018 | ICST | AUnit: A Test Automation Tool for Alloy. | Allison Sullivan, Kaiyuan Wang, Sarfraz Khurshid |
| 2018 | ICST | EdSynth: Synthesizing API Sequences with Conditionals and Loops. | Zijiang Yang, Jinru Hua, Kaiyuan Wang, Sarfraz Khurshid |
| 2018 | ISSTA | Test input generation with Java PathFinder: then and now (invited talk abstract). | Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser |
| 2018 | SAC | Korat-API: a framework to enhance korat to better support testing and reliability techniques. | Nima Dini, Cagdas Yelen, Zakaria Alrmaih, Amresh Kulkarni, Sarfraz Khurshid |
| 2017 | ICSE | Mutation Testing Meets Approximate Computing. | Milos Gligoric, Sarfraz Khurshid, Sasa Misailovic, August Shi |
| 2017 | ICSE | A synergistic approach for distributed symbolic execution using test ranges. | Rui Qiu, Sarfraz Khurshid, Corina S. Pasareanu, Guowei Yang |
| 2017 | ICST | Non-Semantics-Preserving Transformations for Higher-Coverage Test Generation Using Symbolic Execution. | Hayes Converse, Oswaldo Olivo, Sarfraz Khurshid |
| 2017 | ICST | Automated Test Generation and Mutation Testing for Alloy. | Allison Sullivan, Kaiyuan Wang, Razieh Nokhbeh Zaeem, Sarfraz Khurshid |
| 2017 | ISSTA | Boosting spectrum-based fault localization using PageRank. | Mengshi Zhang, Xia Li, Lingming Zhang, Sarfraz Khurshid |
| 2016 | ATVA | A Sketching-Based Approach for Debugging Using Test Cases. | Jinru Hua, Sarfraz Khurshid |
| 2016 | ATVA | Certified Symbolic Execution. | Rui Qiu, Corina S. Pasareanu, Sarfraz Khurshid |
| 2016 | ISSRE | Evaluating the Effects of Compiler Optimizations on Mutation Testing at the Compiler IR Level. | Farah Hariri, August Shi, Hayes Converse, Sarfraz Khurshid, Darko Marinov |
| 2015 | ICSE | Compositional Symbolic Execution with Memoized Replay. | Rui Qiu, Guowei Yang, Corina S. Pasareanu, Sarfraz Khurshid |
| 2015 | ICSE | An Information Retrieval Approach for Regression Test Prioritization Based on Program Changes. | Ripon K. Saha, Lingming Zhang, Sarfraz Khurshid, Dewayne E. Perry |
| 2015 | ISSRE | Studying the influence of standard compiler optimizations on symbolic execution. | Shiyu Dong, Oswaldo Olivo, Lingming Zhang, Sarfraz Khurshid |
| 2015 | MSR | Are These Bugs Really "Normal"? | Ripon K. Saha, Julia Lawall, Sarfraz Khurshid, Dewayne E. Perry |
| 2015 | SPLC | 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 |
| 2014 | ICSE | Data-guided repair of selection statements. | Divya Gopinath, Sarfraz Khurshid, Diptikalyan Saha, Satish Chandra |
| 2014 | ICSE | Property differencing for incremental checking. | Guowei Yang, Sarfraz Khurshid, Suzette Person, Neha Rungta |
| 2014 | ICST | Automated Generation of Oracles for Testing User-Interaction Features of Mobile Apps. | Razieh Nokhbeh Zaeem, Mukul R. Prasad, Sarfraz Khurshid |
| 2014 | ISSTA | Feedback-driven dynamic invariant discovery. | Lingming Zhang, Guowei Yang, Neha Rungta, Suzette Person, Sarfraz Khurshid |
| 2014 | OOPSLA | Bounded exhaustive test input generation from hybrid invariants. | Nicols Rosner, Valeria S. Bengolea, Pablo Ponzio, Shadi Abdul Khalek, Nazareno Aguirre, Marcelo F. Frias, Sarfraz Khurshid |
| 2014 | SP | Using Frankencerts for Automated Adversarial Testing of Certificate Validation in SSL/TLS Implementations. | Chad Brubaker, Suman Jana, Baishakhi Ray, Sarfraz Khurshid, Vitaly Shmatikov |
| 2013 | ICSE | Temporal code completion and navigation. | Yun Young Lee, Sam Harwell, Sarfraz Khurshid, Darko Marinov |
| 2013 | ICSE | Memoise: a tool for memoized symbolic execution. | Guowei Yang, Sarfraz Khurshid, Corina S. Pasareanu |
| 2013 | ISSTA | Faster mutation testing inspired by test prioritization and reduction. | Lingming Zhang, Darko Marinov, Sarfraz Khurshid |
| 2013 | OOPSLA | Injecting mechanical faults to localize developer faults for evolving software. | Lingming Zhang, Lu Zhang, Sarfraz Khurshid |
| 2013 | RV | Repair Abstractions for More Efficient Data Structure Repair. | Razieh Nokhbeh Zaeem, Muhammad Zubair Malik, Sarfraz Khurshid |
| 2012 | FM | Specification-Based Test Repair Using a Lightweight Formal Method. | Guowei Yang, Sarfraz Khurshid, Miryung Kim |
| 2012 | ICFEM | Annotations for Alloy: Automated Incremental Analysis Using Domain Specific Solvers. | Svetoslav R. Ganov, Sarfraz Khurshid, Dewayne E. Perry |
| 2012 | ICST | Dynamic Shape Analysis Using Spectral Graph Properties. | Muhammad Zubair Malik, Sarfraz Khurshid |
| 2012 | ICST | Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving. | Junaid Haroon Siddiqui, Darko Marinov, Sarfraz Khurshid |
| 2012 | ISITA | Localization of faults in software programs using Bernoulli divergences. | Shounak Roychowdhury, Sarfraz Khurshid |
| 2012 | ISSRE | Shared Execution for Efficiently Testing Product Lines. | Chang Hwan Peter Kim, Sarfraz Khurshid, Don S. Batory |
| 2012 | ISSTA | Memoized symbolic execution. | Guowei Yang, Corina S. Pasareanu, Sarfraz Khurshid |
| 2012 | ISSTA | Regression mutation testing. | Lingming Zhang, Darko Marinov, Lu Zhang, Sarfraz Khurshid |
| 2012 | OOPSLA | Scaling symbolic execution using ranged analysis. | Junaid Haroon Siddiqui, Sarfraz Khurshid |
| 2012 | SAC | Staged symbolic execution. | Junaid Haroon Siddiqui, Sarfraz Khurshid |
| 2012 | TACAS | History-Aware Data Structure Repair Using SAT. | Razieh Nokhbeh Zaeem, Divya Gopinath, Sarfraz Khurshid, Kathryn S. McKinley |
| 2011 | ICFEM | Symbolic Execution of Alloy Models. | Junaid Haroon Siddiqui, Sarfraz Khurshid |
| 2011 | ICSE | Symbolic execution for software testing in practice: preliminary assessment. | Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Pasareanu, Koushik Sen, Nikolai Tillmann, Willem Visser |
| 2011 | ICST | Systematic Testing of Database Engines Using a Relational Constraint Solver. | Shadi Abdul Khalek, Sarfraz Khurshid |
| 2011 | ICST | Constraint-Based Program Debugging Using Data Structure Repair. | Muhammad Zubair Malik, Junaid Haroon Siddiqui, Sarfraz Khurshid |
| 2011 | ISSRE | Efficiently Running Test Suites Using Abstract Undo Operations. | Shadi Abdul Khalek, Sarfraz Khurshid |
| 2011 | ISSRE | An Empirical Study of JUnit Test-Suite Reduction. | Lingming Zhang, Darko Marinov, Lu Zhang, Sarfraz Khurshid |
| 2011 | PLDI | Directed incremental symbolic execution. | Suzette Person, Guowei Yang, Neha Rungta, Sarfraz Khurshid |
| 2011 | TACAS | Specification-Based Program Repair Using SAT. | Divya Gopinath, Muhammad Zubair Malik, Sarfraz Khurshid |
| 2010 | ECOOP | Contract-Based Data Structure Repair Using Alloy. | Razieh Nokhbeh Zaeem, Sarfraz Khurshid |
| 2010 | ICSE | Test generation through programming in UDITA. | Milos Gligoric, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, Darko Marinov |
| 2010 | ISSRE | Optimizing Incremental Scope-Bounded Checking with Data-Flow Analysis. | Danhua Shao, Divya Gopinath, Sarfraz Khurshid, Dewayne E. Perry |
| 2010 | RV | Reducing Configurations to Monitor in a Software Product Line. | Chang Hwan Peter Kim, Eric Bodden, Don S. Batory, Sarfraz Khurshid |
| 2009 | FM | An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method. | Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry |
| 2009 | ICFEM | Event Listener Analysis and Symbolic Execution for Testing GUI Applications. | Svetoslav R. Ganov, Chip Killmar, Sarfraz Khurshid, Dewayne E. Perry |
| 2009 | ICFEM | An Empirical Study of Structural Constraint Solving Techniques. | Junaid Haroon Siddiqui, Sarfraz Khurshid |
| 2009 | ICST | Optimizing Generation of Object Graphs in Java PathFinder. | Milos Gligoric, Tihomir Gvero, Steven Lauterburg, Darko Marinov, Sarfraz Khurshid |
| 2009 | ICST | PKorat: Parallel Generation of Structurally Complex Test Inputs. | Junaid Haroon Siddiqui, Sarfraz Khurshid |
| 2008 | APLAS | Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution. | Xin Li, Daryl Shannon, Indradeep Ghosh, Mizuhito Ogawa, Sreeranga P. Rajan, Sarfraz Khurshid |
| 2008 | FM | Constraint Prioritization for Efficient Analysis of Declarative Models. | Engin Uzuncaova, Sarfraz Khurshid |
| 2008 | ICSE | Juzi: a tool for repairing complex data structures. | Bassem Elkarablieh, Sarfraz Khurshid |
| 2008 | ICSE | Test Generation for Graphical User Interfaces Based on Symbolic Execution. | Svetoslav R. Ganov, Chip Killmar, Sarfraz Khurshid, Dewayne E. Perry |
| 2008 | ICSE | State extensions for java pathfinder. | Tihomir Gvero, Milos Gligoric, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid |
| 2008 | ICSE | Deryaft: a tool for generating representation invariants of structurally complex data. | Muhammad Zubair Malik, Aman Pervaiz, Engin Uzuncaova, Sarfraz Khurshid |
| 2008 | ISSRE | Testing Software Product Lines Using Incremental Test Generation. | Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory |
| 2008 | ISSTA | Efficient solving of structural constraints. | Bassem Elkarablieh, Darko Marinov, Sarfraz Khurshid |
| 2007 | ECOOP | Efficiently Generating Structurally Complex Inputs with Thousands of Objects. | Bassem Elkarablieh, Yehia Zayour, Sarfraz Khurshid |
| 2007 | FMCAD | Global Optimization of Compositional Systems. | Fadi A. Zaraket, John Pape, Adnan Aziz, Margarida F. Jacome, Sarfraz Khurshid |
| 2007 | ICSE | Korat: A Tool for Generating Structurally Complex Test Inputs. | Aleksandar Milicevic, Sasa Misailovic, Darko Marinov, Sarfraz Khurshid |
| 2007 | ICSE | Kato: A Program Slicing Tool for Declarative Specifications. | Engin Uzuncaova, Sarfraz Khurshid |
| 2007 | ICSE | Sequential Circuits for Relational Analysis. | Fadi A. Zaraket, Adnan Aziz, Sarfraz Khurshid |
| 2007 | IFM | Verification of Multi-agent Negotiations Using the Alloy Analyzer. | Rodion M. Podorozhny, Sarfraz Khurshid, Dewayne E. Perry, Xiaoqin Zhang |
| 2007 | OOPSLA | Starc: static analysis for efficient repair of complex data. | Bassem Elkarablieh, Sarfraz Khurshid, Duy Vu, Kathryn S. McKinley |
| 2007 | TACAS | Generating Representation Invariants of Structurally Complex Data. | Muhammad Zubair Malik, Aman Pervaiz, Sarfraz Khurshid |
| 2006 | ISoLA | An Automated Approach for Writing Alloy Specifications Using Instances. | Sarfraz Khurshid, Muhammad Zubair Malik, Engin Uzuncaova |
| 2005 | SAT | Optimizations for Compiling Declarative Models into Boolean Formulas. | Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, Lintao Zhang, Martin C. Rinard |
| 2004 | ISSTA | Software assurance by bounded exhaustive testing. | Kevin J. Sullivan, Jinlin Yang, David Coppit, Sarfraz Khurshid, Daniel Jackson |
| 2004 | ISSTA | Test input generation with java PathFinder. | Willem Visser, Corina S. Pasareanu, Sarfraz Khurshid |
| 2003 | SAT | A Case for Efficient Solution Enumeration. | Sarfraz Khurshid, Darko Marinov, Ilya Shlyakhter, Daniel Jackson |
| 2003 | TACAS | Generalized Symbolic Execution for Model Checking and Testing. | Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser |
| 2002 | FM | VAlloy - Virtual Functions Meet a Relational Language. | Darko Marinov, Sarfraz Khurshid |
| 2002 | ISSTA | Korat: automated testing based on Java predicates. | Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov |
| 2002 | OOPSLA | An analyzable annotation language. | Sarfraz Khurshid, Darko Marinov, Daniel Jackson |
| 2002 | TACAS | Exploring Very Large State Spaces Using Genetic Algorithms. | Patrice Godefroid, Sarfraz Khurshid |
| 2001 | TACAS | Testing an Intentional Naming Scheme Using Genetic Algorithms. | Sarfraz Khurshid |