Sarfraz Khurshid

According to our database, Sarfraz Khurshid authored at least 208 papers between 1999 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks.

Wenxi Wang, Yang Hu, Mohit Tiwari, Sarfraz Khurshid, Kenneth L. McMillan, Risto Miikkulainen

Proceedings of the Twelfth International Conference on Learning Representations, 2024

2023

Fixing Privilege Escalations in Cloud Access Control with MaxSAT and Graph Neural Networks.

Yang Hu, Wenxi Wang, Sarfraz Khurshid, Kenneth L. McMillan, Mohit Tiwari

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

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

SymMC: approximate model enumeration and counting using symmetry information for Alloy specifications.

Wenxi Wang, Yang Hu, Kenneth L. McMillan, Sarfraz Khurshid

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

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

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

An Empirical Study of Boosting Spectrum-Based Fault Localization via PageRank.

Mengshi Zhang, Yaoxian Li, Xia Li, Lingchao Chen, Yuqun Zhang, Lingming Zhang, Sarfraz Khurshid

IEEE Trans. Software Eng., 2021

NeuroComb: Improving SAT Solving with Graph Neural Networks.

Wenxi Wang, Yang Hu, Mohit Tiwari, Sarfraz Khurshid, Kenneth L. McMillan, Risto Miikkulainen

CoRR, 2021

Programming and Training Rate-Independent Chemical Reaction Networks.

Marko Vasic, Cameron T. Chalk, Austin Luchsinger, Sarfraz Khurshid, David Soloveichik

CoRR, 2021

Distributed Symbolic Execution using Test-Depth Partitioning.

Shikhar Singh, Sarfraz Khurshid

CoRR, 2021

ACHyb: a hybrid analysis approach to detect kernel access control vulnerabilities.

Yang Hu, Wenxi Wang, Casen Hunger, Riley Wood, Sarfraz Khurshid, Mohit Tiwari

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Enhancing constraint-based repair of data structure errors that recur using memoization.

Nima Dini, Razieh Nokhbeh Zaeem, Sarfraz Khurshid

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

Initial Results on Counting Test Orders for Order-Dependent Flaky Tests Using Alloy.

Wenxi Wang, Pu Yi, Sarfraz Khurshid, Darko Marinov

Proceedings of the Testing Software and Systems, 2021

Restoring the Executability of Jupyter Notebooks by Automatic Upgrade of Deprecated APIs.

Chenguang Zhu, Ripon K. Saha, Mukul R. Prasad, Sarfraz Khurshid

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

2020

A study of learning likely data structure properties using machine learning models.

Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Cagdas Yelen, Nima Dini, Sarfraz Khurshid

Int. J. Softw. Tools Technol. Transf., 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, William Eiers, Milos Gligoric, Simon Goldsmith, Lars Grunske, Joshua Hooker, Ismet Burak Kadron, Timo Kehrer, Sarfraz Khurshid, Xuan-Bach Dinh Le, David Lo, Eric Mercer, Sasa Misailovic, Egor Namakonov, Hoang Lam Nguyen, Yannic Noller, Benjamin Ogles, Rohan Padhye, Pavel Parízek, Corina S. Pasareanu, Sheridan Jacob Powell, Seemanta Saha, Koushik Sen, Elena Sherman, Kyle Storey, Minxing Tang, Willem Visser, Ji Wang, Hengbiao Yu

ACM SIGSOFT Softw. Eng. Notes, 2020

Unifying execution of imperative generators and declarative specifications.

Pengyu Nie, Marinela Parovic, Zhiqiang Zang, Sarfraz Khurshid, Aleksandar Milicevic, Milos Gligoric

Proc. ACM Program. Lang., 2020

CRN++: Molecular programming language.

Marko Vasic, David Soloveichik, Sarfraz Khurshid

Nat. Comput., 2020

A Study of Symmetry Breaking Predicates and Model Counting.

Wenxi Wang, Muhammad Usman, Alyas Almaawi, Kaiyuan Wang, Kuldeep S. Meel, Sarfraz Khurshid

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

AlloyMC: Alloy meets model counting.

Jiayi Yang, Wenxi Wang, Darko Marinov, Sarfraz Khurshid

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

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

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

TestMC: Testing Model Counters using Differential and Metamorphic Testing.

Muhammad Usman, Wenxi Wang, Sarfraz Khurshid

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Fault Localization for Declarative Models in Alloy.

Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid

Proceedings of the 31st IEEE International Symposium on Software Reliability Engineering, 2020

Designing Neural Networks Using Logical Specs.

Shikhar Singh, Marko Vasic, Sarfraz Khurshid

Proceedings of the 31st IEEE International Symposium on Software Reliability Engineering, 2020

Predictive constraint solving and analysis.

Alyas Almaawi, Nima Dini, Cagdas Yelen, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid

Proceedings of the ICSE-NIER 2020: 42nd International Conference on Software Engineering, New Ideas and Emerging Results, Seoul, South Korea, 27 June, 2020

Deep Molecular Programming: A Natural Implementation of Binary-Weight ReLU Neural Networks.

Marko Vasic, Cameron T. Chalk, Sarfraz Khurshid, David Soloveichik

Proceedings of the 37th International Conference on Machine Learning, 2020

Parallel Chopped Symbolic Execution.

Shikhar Singh, Sarfraz Khurshid

Proceedings of the Formal Methods and Software Engineering, 2020

CRNs Exposed: A Method for the Systematic Exploration of Chemical Reaction Networks.

Marko Vasic, David Soloveichik, Sarfraz Khurshid

Proceedings of the 26th International Conference on DNA Computing and Molecular Programming, 2020

2019

EdSketch: execution-driven sketching for Java.

Jinru Hua, Yushan Zhang, Yuqun Zhang, Sarfraz Khurshid

Int. J. Softw. Tools Technol. Transf., 2019

Quantifying the Exploration of the Korat Solver for Imperative Constraints.

Alyas Almaawi, Hayes Converse, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid

ACM SIGSOFT Softw. Eng. Notes, 2019

A synergistic approach to improving symbolic execution using test ranges.

Guowei Yang, Rui Qiu, Sarfraz Khurshid, Corina S. Pasareanu, Junye Wen

Innov. Syst. Softw. Eng., 2019

A Study of the Learnability of Relational Properties (Model Counting Meets Machine Learning).

Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Marko Vasic, Haris Vikalo, Sarfraz Khurshid

CoRR, 2019

CRNs Exposed: Systematic Exploration of Chemical Reaction Networks.

Marko Vasic, David Soloveichik, Sarfraz Khurshid

CoRR, 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

Incremental Analysis of Evolving Alloy Models.

Wenxi Wang, Kaiyuan Wang, Milos Gligoric, Sarfraz Khurshid

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

A Study of Learning Data Structure Invariants Using Off-the-shelf Tools.

Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Cagdas Yelen, Nima Dini, Sarfraz Khurshid

Proceedings of the Model Checking Software - 26th International Symposium, 2019

Learning Guided Enumerative Synthesis for Superoptimization.

Shikhar Singh, Mengshi Zhang, Sarfraz Khurshid

Proceedings of the Model Checking Software - 26th International Symposium, 2019

A framework for writing trigger-action todo comments in executable format.

Pengyu Nie, Rishabh Rai, Junyi Jessy Li, Sarfraz Khurshid, Raymond J. Mooney, Milos Gligoric

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 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

Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019

TestSage: Regression Test Selection for Large-Scale Web Service Testing.

Hua Zhong, Lingming Zhang, Sarfraz Khurshid

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

Learning to Optimize the Alloy Analyzer.

Wenxi Wang, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

Extension-Aware Automated Testing Based on Imperative Predicates.

Nima Dini, Cagdas Yelen, Milos Gligoric, Sarfraz Khurshid

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

ARepair: a repair framework for alloy.

Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

Symbolic execution for attribution and attack synthesis in neural networks.

Divya Gopinath, Corina S. Pasareanu, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

Solution Enumeration Abstraction: A Modeling Idiom to Enhance a Lightweight Formal Method.

Allison Sullivan, Darko Marinov, Sarfraz Khurshid

Proceedings of the Formal Methods and Software Engineering, 2019

2018

A Progress Bar for the JPF Search Using Program Executions.

Kaiyuan Wang, Hayes Converse, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid

ACM SIGSOFT Softw. Eng. Notes, 2018

Executable Trigger-Action Comments.

Pengyu Nie, Rishabh Rai, Junyi Jessy Li, Sarfraz Khurshid, Raymond J. Mooney, Milos Gligoric

CoRR, 2018

Symbolic Execution for Deep Neural Networks.

Divya Gopinath, Kaiyuan Wang, Mengshi Zhang, Corina S. Pasareanu, Sarfraz Khurshid

CoRR, 2018

DeepRoad: GAN-based Metamorphic Autonomous Driving System Testing.

Mengshi Zhang, Yuqun Zhang, Lingming Zhang, Cong Liu, Sarfraz Khurshid

CoRR, 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

Reducing Combinatorial Testing Requirements Based on Equivalences with Respect to the Code Under Test.

Sarfraz Khurshid, Darko Marinov

Proceedings of the Seventh Workshop on Software Quality Analysis, 2018

ASketch: a sketching framework for Alloy.

Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

SketchFix: a tool for automated program repair approach using lazy candidate generation.

Jinru Hua, Mengshi Zhang, Kaiyuan Wang, Sarfraz Khurshid

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 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

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Using Test Ranges to Improve Symbolic Execution.

Rui Qiu, Sarfraz Khurshid, Corina S. Pasareanu, Junye Wen, Guowei Yang

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

DeepRoad: GAN-based metamorphic testing and input validation framework for autonomous driving systems.

Mengshi Zhang, Yuqun Zhang, Lingming Zhang, Cong Liu, Sarfraz Khurshid

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Automated model repair for Alloy.

Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Test input generation with Java PathFinder: then and now (invited talk abstract).

Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

EdSynth: Synthesizing API Sequences with Conditionals and Loops.

Zijiang Yang, Jinru Hua, Kaiyuan Wang, Sarfraz Khurshid

Proceedings of the 11th IEEE International Conference on Software Testing, 2018

AUnit: A Test Automation Tool for Alloy.

Allison Sullivan, Kaiyuan Wang, Sarfraz Khurshid

Proceedings of the 11th IEEE International Conference on Software Testing, 2018

Accelerating Search-Based Program Repair.

Ben Mehne, Hiroaki Yoshida, Mukul R. Prasad, Koushik Sen, Divya Gopinath, Sarfraz Khurshid

Proceedings of the 11th IEEE International Conference on Software Testing, 2018

Approximate Transformations as Mutation Operators.

Farah Hariri, August Shi, Owolabi Legunsen, Milos Gligoric, Sarfraz Khurshid, Sasa Misailovic

Proceedings of the 11th IEEE International Conference on Software Testing, 2018

MuAlloy: a mutation testing framework for alloy.

Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Towards practical program repair with on-demand candidate generation.

Jinru Hua, Mengshi Zhang, Kaiyuan Wang, Sarfraz Khurshid

Proceedings of the 40th International Conference on Software Engineering, 2018

Learning to Accelerate Symbolic Execution via Code Transformation.

Junjie Chen, Wenxiang Hu, Lingming Zhang, Dan Hao, Sarfraz Khurshid, Lu Zhang

Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

: Molecular Programming Language.

Marko Vasic, David Soloveichik, Sarfraz Khurshid

Proceedings of the DNA Computing and Molecular Programming - 24th International Conference, 2018

Solver-Based Sketching of Alloy Models Using Test Valuations.

Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

Systematic Generation of Non-equivalent Expressions for Relational Algebra.

Kaiyuan Wang, Allison Sullivan, Manos Koukoutos, Darko Marinov, Sarfraz Khurshid

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

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

Proceedings of the Workshops of the The Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Perceptions on the State of the Art in Verification and Validation in Cyber-Physical Systems.

Xi Zheng, Christine Julien, Miryung Kim, Sarfraz Khurshid

IEEE Syst. J., 2017

JPR: Replaying JPF Traces Using Standard JVM.

Kaiyuan Wang, Sarfraz Khurshid, Milos Gligoric

ACM SIGSOFT Softw. Eng. Notes, 2017

Bounded exhaustive test-input generation on GPUs.

Ahmet Çelik, Sreepathi Pai, Sarfraz Khurshid, Milos Gligoric

Proc. ACM Program. Lang., 2017

Evaluating State Modeling Techniques in Alloy.

Allison Sullivan, Kaiyuan Wang, Sarfraz Khurshid, Darko Marinov

Proceedings of the Sixth Workshop on Software Quality Analysis, 2017

EdSketch: execution-driven sketching for Java.

Jinru Hua, Sarfraz Khurshid

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

Optimizing parallel Korat using invalid ranges.

Nima Dini, Cagdas Yelen, Sarfraz Khurshid

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

Boosting spectrum-based fault localization using PageRank.

Mengshi Zhang, Xia Li, Lingming Zhang, Sarfraz Khurshid

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

Automated Test Generation and Mutation Testing for Alloy.

Allison Sullivan, Kaiyuan Wang, Razieh Nokhbeh Zaeem, Sarfraz Khurshid

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Non-Semantics-Preserving Transformations for Higher-Coverage Test Generation Using Symbolic Execution.

Hayes Converse, Oswaldo Olivo, Sarfraz Khurshid

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

A synergistic approach for distributed symbolic execution using test ranges.

Rui Qiu, Sarfraz Khurshid, Corina S. Pasareanu, Guowei Yang

Proceedings of the 39th International Conference on Software Engineering, 2017

Mutation Testing Meets Approximate Computing.

Milos Gligoric, Sarfraz Khurshid, Sasa Misailovic, August Shi

Proceedings of the 39th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Technologies Results Track, 2017

2016

Towards Exhaustive Testing of Websites using JPF.

Sarvesh Nagarajan, Nastaran Shafiei, Sarfraz Khurshid

ACM SIGSOFT Softw. Eng. Notes, 2016

Exploring Underdetermined Specifications using Java PathFinder.

Alex Gyori, Ben Lambeth, Sarfraz Khurshid, Darko Marinov

ACM SIGSOFT Softw. Eng. Notes, 2016

Combinatorial generation of structurally complex test inputs for commercial software applications.

Hua Zhong, Lingming Zhang, Sarfraz Khurshid

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

The comKorat Tool: Unified Combinatorial and Constraint-Based Generation of Structurally Complex Tests.

Hua Zhong, Lingming Zhang, Sarfraz Khurshid

Proceedings of the NASA Formal Methods - 8th International Symposium, 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

Proceedings of the 27th IEEE International Symposium on Software Reliability Engineering, 2016

Repairing Intricate Faults in Code Using Machine Learning and Path Exploration.

Divya Gopinath, Kaiyuan Wang, Jinru Hua, Sarfraz Khurshid

Proceedings of the 2016 IEEE International Conference on Software Maintenance and Evolution, 2016

Certified Symbolic Execution.

Rui Qiu, Corina S. Pasareanu, Sarfraz Khurshid

Proceedings of the Automated Technology for Verification and Analysis, 2016

A Sketching-Based Approach for Debugging Using Test Cases.

Jinru Hua, Sarfraz Khurshid

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

Understanding the triaging and fixing processes of long lived bugs.

Ripon K. Saha, Sarfraz Khurshid, Dewayne E. Perry

Inf. Softw. Technol., 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

Proceedings of the 19th International Conference on Software Product Line, 2015

Are These Bugs Really "Normal"?

Ripon K. Saha, Julia Lawall, Sarfraz Khurshid, Dewayne E. Perry

Proceedings of the 12th IEEE/ACM Working Conference on Mining Software Repositories, 2015

Studying the influence of standard compiler optimizations on symbolic execution.

Shiyu Dong, Oswaldo Olivo, Lingming Zhang, Sarfraz Khurshid

Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

An Information Retrieval Approach for Regression Test Prioritization Based on Program Changes.

Ripon K. Saha, Lingming Zhang, Sarfraz Khurshid, Dewayne E. Perry

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Compositional Symbolic Execution with Memoized Replay.

Rui Qiu, Guowei Yang, Corina S. Pasareanu, Sarfraz Khurshid

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

Directed Incremental Symbolic Execution.

Guowei Yang, Suzette Person, Neha Rungta, Sarfraz Khurshid

ACM Trans. Softw. Eng. Methodol., 2014

Towards a test automation framework for alloy.

Allison Sullivan, Razieh Nokhbeh Zaeem, Sarfraz Khurshid, Darko Marinov

Proceedings of the 2014 International Symposium on Model Checking of Software, 2014

Using Frankencerts for Automated Adversarial Testing of Certificate Validation in SSL/TLS Implementations.

Chad Brubaker, Suman Jana, Baishakhi Ray, Sarfraz Khurshid, Vitaly Shmatikov

Proceedings of the 2014 IEEE Symposium on Security and Privacy, 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

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Feedback-driven dynamic invariant discovery.

Lingming Zhang, Guowei Yang, Neha Rungta, Suzette Person, Sarfraz Khurshid

Proceedings of the International Symposium on Software Testing and Analysis, 2014

Automated Generation of Oracles for Testing User-Interaction Features of Mobile Apps.

Razieh Nokhbeh Zaeem, Mukul R. Prasad, Sarfraz Khurshid

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

On the Effectiveness of Information Retrieval Based Bug Localization for C Programs.

Ripon K. Saha, Julia Lawall, Sarfraz Khurshid, Dewayne E. Perry

Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014

Property differencing for incremental checking.

Guowei Yang, Sarfraz Khurshid, Suzette Person, Neha Rungta

Proceedings of the 36th International Conference on Software Engineering, 2014

Data-guided repair of selection statements.

Divya Gopinath, Sarfraz Khurshid, Diptikalyan Saha, Satish Chandra

Proceedings of the 36th International Conference on Software Engineering, 2014

An empirical study of long lived bugs.

Ripon K. Saha, Sarfraz Khurshid, Dewayne E. Perry

Proceedings of the 2014 Software Evolution Week, 2014

2013

FaultTracer: a spectrum-based approach to localizing failure-inducing program edits.

Lingming Zhang, Miryung Kim, Sarfraz Khurshid

J. Softw. Evol. Process., 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

Scaling symbolic execution using staged analysis.

Junaid Haroon Siddiqui, Sarfraz Khurshid

Innov. Syst. Softw. Eng., 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

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Repair Abstractions for More Efficient Data Structure Repair.

Razieh Nokhbeh Zaeem, Muhammad Zubair Malik, Sarfraz Khurshid

Proceedings of the Runtime Verification - 4th International Conference, 2013

Injecting mechanical faults to localize developer faults for evolving software.

Lingming Zhang, Lu Zhang, Sarfraz Khurshid

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

Operator-based and random mutant selection: Better together.

Lingming Zhang, Milos Gligoric, Darko Marinov, Sarfraz Khurshid

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Improving bug localization using structured information retrieval.

Ripon K. Saha, Matthew Lease, Sarfraz Khurshid, Dewayne E. Perry

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Ranger: Parallel analysis of alloy models by range partitioning.

Nicolás Rosner, Junaid Haroon Siddiqui, Nazareno Aguirre, Sarfraz Khurshid, Marcelo F. Frias

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Faster mutation testing inspired by test prioritization and reduction.

Lingming Zhang, Darko Marinov, Sarfraz Khurshid

Proceedings of the International Symposium on Software Testing and Analysis, 2013

Memoise: a tool for memoized symbolic execution.

Guowei Yang, Sarfraz Khurshid, Corina S. Pasareanu

Proceedings of the 35th International Conference on Software Engineering, 2013

Temporal code completion and navigation.

Yun Young Lee, Sam Harwell, Sarfraz Khurshid, Darko Marinov

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

Ranged Model Checking.

Diego Funes, Junaid Haroon Siddiqui, Sarfraz Khurshid

ACM SIGSOFT Softw. Eng. Notes, 2012

History-Aware Data Structure Repair Using SAT.

Razieh Nokhbeh Zaeem, Divya Gopinath, Sarfraz Khurshid, Kathryn S. McKinley

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

FaultTracer: a change impact and regression fault analysis tool for evolving Java programs.

Lingming Zhang, Miryung Kim, Sarfraz Khurshid

Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

Test input generation using dynamic programming.

Razieh Nokhbeh Zaeem, Sarfraz Khurshid

Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

Staged symbolic execution.

Junaid Haroon Siddiqui, Sarfraz Khurshid

Proceedings of the ACM Symposium on Applied Computing, 2012

Scaling symbolic execution using ranged analysis.

Junaid Haroon Siddiqui, Sarfraz Khurshid

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Improving the effectiveness of spectra-based fault localization using specifications.

Divya Gopinath, Razieh Nokhbeh Zaeem, Sarfraz Khurshid

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

Regression mutation testing.

Lingming Zhang, Darko Marinov, Lu Zhang, Sarfraz Khurshid

Proceedings of the International Symposium on Software Testing and Analysis, 2012

Memoized symbolic execution.

Guowei Yang, Corina S. Pasareanu, Sarfraz Khurshid

Proceedings of the International Symposium on Software Testing and Analysis, 2012

Shared Execution for Efficiently Testing Product Lines.

Chang Hwan Peter Kim, Sarfraz Khurshid, Don S. Batory

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

Localization of faults in software programs using Bernoulli divergences.

Shounak Roychowdhury, Sarfraz Khurshid

Proceedings of the International Symposium on Information Theory and its Applications, 2012

A family of generalized entropies and its application to software fault localization.

Shounak Roychowdhury, Sarfraz Khurshid

Proceedings of the 6th IEEE International Conference on Intelligent Systems, 2012

Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving.

Junaid Haroon Siddiqui, Darko Marinov, Sarfraz Khurshid

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Dynamic Shape Analysis Using Spectral Graph Properties.

Muhammad Zubair Malik, Sarfraz Khurshid

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Annotations for Alloy: Automated Incremental Analysis Using Domain Specific Solvers.

Svetoslav R. Ganov, Sarfraz Khurshid, Dewayne E. Perry

Proceedings of the Formal Methods and Software Engineering, 2012

Specification-Based Test Repair Using a Lightweight Formal Method.

Guowei Yang, Sarfraz Khurshid, Miryung Kim

Proceedings of the FM 2012: Formal Methods, 2012

2011

Specification-Based Program Repair Using SAT.

Divya Gopinath, Muhammad Zubair Malik, Sarfraz Khurshid

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

A Novel Framework for Locating Software Faults Using Latent Divergences.

Shounak Roychowdhury, Sarfraz Khurshid

Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2011

TestEra: A tool for testing Java programs using alloy specifications.

Shadi Abdul Khalek, Guowei Yang, Lingming Zhang, Darko Marinov, Sarfraz Khurshid

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Mixed constraints for test input generation - An initial exploration.

Shadi Abdul Khalek, Vidya Priyadarshini Narayanan, Sarfraz Khurshid

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

A case for alloy annotations for efficient incremental analysis via domain specific solvers.

Svetoslav R. Ganov, Sarfraz Khurshid, Dewayne E. Perry

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

An Empirical Study of JUnit Test-Suite Reduction.

Lingming Zhang, Darko Marinov, Lu Zhang, Sarfraz Khurshid

Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011

Efficiently Running Test Suites Using Abstract Undo Operations.

Shadi Abdul Khalek, Sarfraz Khurshid

Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011

Constraint-Based Program Debugging Using Data Structure Repair.

Muhammad Zubair Malik, Junaid Haroon Siddiqui, Sarfraz Khurshid

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Systematic Testing of Database Engines Using a Relational Constraint Solver.

Shadi Abdul Khalek, Sarfraz Khurshid

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Localizing failure-inducing program edits based on spectrum information.

Lingming Zhang, Miryung Kim, Sarfraz Khurshid

Proceedings of the IEEE 27th International Conference on Software Maintenance, 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

Proceedings of the 33rd International Conference on Software Engineering, 2011

Symbolic Execution of Alloy Models.

Junaid Haroon Siddiqui, Sarfraz Khurshid

Proceedings of the Formal Methods and Software Engineering, 2011

Reducing combinatorics in testing product lines.

Chang Hwan Peter Kim, Don S. Batory, Sarfraz Khurshid

Proceedings of the 10th International Conference on Aspect-Oriented Software Development, 2011

2010

Incremental Test Generation for Software Product Lines.

Engin Uzuncaova, Sarfraz Khurshid, Don S. Batory

IEEE Trans. Software Eng., 2010

Reducing Configurations to Monitor in a Software Product Line.

Chang Hwan Peter Kim, Eric Bodden, Don S. Batory, Sarfraz Khurshid

Proceedings of the Runtime Verification - First International Conference, 2010

Eliminating products to test in a software product line.

Chang Hwan Peter Kim, Don S. Batory, Sarfraz Khurshid

Proceedings of the ASE 2010, 2010

Automated SQL query generation for systematic testing of database engines.

Shadi Abdul Khalek, Sarfraz Khurshid

Proceedings of the ASE 2010, 2010

Optimizing Incremental Scope-Bounded Checking with Data-Flow Analysis.

Danhua Shao, Divya Gopinath, Sarfraz Khurshid, Dewayne E. Perry

Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010

Test generation through programming in UDITA.

Milos Gligoric, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, Darko Marinov

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Contract-Based Data Structure Repair Using Alloy.

Razieh Nokhbeh Zaeem, Sarfraz Khurshid

Proceedings of the ECOOP 2010, 2010

Introducing Specification-Based Data Structure Repair Using Alloy.

Razieh Nokhbeh Zaeem, Sarfraz Khurshid

Proceedings of the Abstract State Machines, 2010

A Case for Using Data-Flow Analysis to Optimize Incremental Scope-Bounded Checking.

Danhua Shao, Divya Gopinath, Sarfraz Khurshid, Dewayne E. Perry

Proceedings of the Abstract State Machines, 2010

2009

SCA: a semantic conflict analyzer for parallel changes.

Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

Optimizing a Structural Constraint Solver for Efficient Software Checking.

Junaid Haroon Siddiqui, Darko Marinov, Sarfraz Khurshid

Proceedings of the ASE 2009, 2009

A Case for Automated Debugging Using Data Structure Repair.

Muhammad Zubair Malik, Khalid Ghori, Bassem Elkarablieh, Sarfraz Khurshid

Proceedings of the ASE 2009, 2009

PKorat: Parallel Generation of Structurally Complex Test Inputs.

Junaid Haroon Siddiqui, Sarfraz Khurshid

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Optimizing Generation of Object Graphs in Java PathFinder.

Milos Gligoric, Tihomir Gvero, Steven Lauterburg, Darko Marinov, Sarfraz Khurshid

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

An Empirical Study of Structural Constraint Solving Techniques.

Junaid Haroon Siddiqui, Sarfraz Khurshid

Proceedings of the Formal Methods and Software Engineering, 2009

Event Listener Analysis and Symbolic Execution for Testing GUI Applications.

Svetoslav R. Ganov, Chip Killmar, Sarfraz Khurshid, Dewayne E. Perry

Proceedings of the Formal Methods and Software Engineering, 2009

An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method.

Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry

Proceedings of the FM 2009: Formal Methods, 2009

Semantic Impact and Faults in Source Code Changes: An Empirical Study.

Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry

Proceedings of the 20th Australian Software Engineering Conference (ASWEC 2009), 2009

2008

Query-Aware Test Generation Using a Relational Constraint Solver.

Shadi Abdul Khalek, Bassem Elkarablieh, Yai O. Laleye, Sarfraz Khurshid

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Efficient solving of structural constraints.

Bassem Elkarablieh, Darko Marinov, Sarfraz Khurshid

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

Testing Software Product Lines Using Incremental Test Generation.

Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory

Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

Deryaft: a tool for generating representation invariants of structurally complex data.

Muhammad Zubair Malik, Aman Pervaiz, Engin Uzuncaova, Sarfraz Khurshid

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

State extensions for java pathfinder.

Tihomir Gvero, Milos Gligoric, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Test Generation for Graphical User Interfaces Based on Symbolic Execution.

Svetoslav R. Ganov, Chip Killmar, Sarfraz Khurshid, Dewayne E. Perry

Proceedings of the 3rd International Workshop on Automation of Software Test, 2008

Juzi: a tool for repairing complex data structures.

Bassem Elkarablieh, Sarfraz Khurshid

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Constraint Prioritization for Efficient Analysis of Declarative Models.

Engin Uzuncaova, Sarfraz Khurshid

Proceedings of the FM 2008: Formal Methods, 2008

Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution.

Xin Li, Daryl Shannon, Indradeep Ghosh, Mizuhito Ogawa, Sreeranga P. Rajan, Sarfraz Khurshid

Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

2007

Generating Representation Invariants of Structurally Complex Data.

Muhammad Zubair Malik, Aman Pervaiz, Sarfraz Khurshid

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

A specification-based approach to testing software product lines.

Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Parallel test generation and execution with Korat.

Sasa Misailovic, Aleksandar Milicevic, Nemanja Petrovic, Sarfraz Khurshid, Darko Marinov

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Starc: static analysis for efficient repair of complex data.

Bassem Elkarablieh, Sarfraz Khurshid, Duy Vu, Kathryn S. McKinley

Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Sequential circuits for program analysis.

Fadi A. Zaraket, Adnan Aziz, Sarfraz Khurshid

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Assertion-based repair of complex data structures.

Bassem Elkarablieh, Ivan Garcia, Yuk Lai Suen, Sarfraz Khurshid

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Verification of Multi-agent Negotiations Using the Alloy Analyzer.

Rodion M. Podorozhny, Sarfraz Khurshid, Dewayne E. Perry, Xiaoqin Zhang

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

Evaluation of Semantic Interference Detection in Parallel Changes: an Exploratory Experiment.

Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry

Proceedings of the 23rd IEEE International Conference on Software Maintenance (ICSM 2007), 2007

Sequential Circuits for Relational Analysis.

Fadi A. Zaraket, Adnan Aziz, Sarfraz Khurshid

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Kato: A Program Slicing Tool for Declarative Specifications.

Engin Uzuncaova, Sarfraz Khurshid

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Korat: A Tool for Generating Structurally Complex Test Inputs.

Aleksandar Milicevic, Sasa Misailovic, Darko Marinov, Sarfraz Khurshid

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Global Optimization of Compositional Systems.

Fadi A. Zaraket, John Pape, Adnan Aziz, Margarida F. Jacome, Sarfraz Khurshid

Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

Efficiently Generating Structurally Complex Inputs with Thousands of Objects.

Bassem Elkarablieh, Yehia Zayour, Sarfraz Khurshid

Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007

2006

Program slicing for declarative models.

Engin Uzuncaova, Sarfraz Khurshid

ACM SIGSOFT Softw. Eng. Notes, 2006

Analyzing the Uses of a Software Modeling Tool.

Xiaoming Li, Daryl Shannon, Jabari Walker, Sarfraz Khurshid, Darko Marinov

Proceedings of the Sixth Workshop on Language Descriptions, Tools, and Applications, 2006

An Automated Approach for Writing Alloy Specifications Using Instances.

Sarfraz Khurshid, Muhammad Zubair Malik, Engin Uzuncaova

Proceedings of the Leveraging Applications of Formal Methods, 2006

2005

Software Assurance by Bounded Exhaustive Testing.

David Coppit, Jinlin Yang, Sarfraz Khurshid, Wei Le, Kevin J. Sullivan

IEEE Trans. Software Eng., 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

Repairing Structurally Complex Data.

Sarfraz Khurshid, Iván García, Yuk Lai Suen

Proceedings of the Model Checking Software, 2005

Optimizations for Compiling Declarative Models into Boolean Formulas.

Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, Lintao Zhang, Martin C. Rinard

Proceedings of the Theory and Applications of Satisfiability Testing, 2005

Generalizing symbolic execution to library classes.

Sarfraz Khurshid, Yuk Lai Suen

Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2005

2004

Exploring very large state spaces using genetic algorithms.

Patrice Godefroid, Sarfraz Khurshid

Int. J. Softw. Tools Technol. Transf., 2004

TestEra: Specification-Based Testing of Java Programs Using SAT.

Sarfraz Khurshid, Darko Marinov

Autom. Softw. Eng., 2004

Test input generation with java PathFinder.

Willem Visser, Corina S. Pasareanu, Sarfraz Khurshid

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

Software assurance by bounded exhaustive testing.

Kevin J. Sullivan, Jinlin Yang, David Coppit, Sarfraz Khurshid, Daniel Jackson

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

2003

Constraint-based generation of structurally complex tests.

Sarfraz Khurshid

PhD thesis, 2003

Generalized Symbolic Execution for Model Checking and Testing.

Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

A Case for Efficient Solution Enumeration.

Sarfraz Khurshid, Darko Marinov, Ilya Shlyakhter, Daniel Jackson

Proceedings of the Theory and Applications of Satisfiability Testing, 2003

Integrating Model Checking and Theorem Proving for Relational Reasoning.

Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, Martin C. Rinard

Proceedings of the Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, 2003

2002

An analyzable annotation language.

Sarfraz Khurshid, Darko Marinov, Daniel Jackson

Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2002

Korat: automated testing based on Java predicates.

Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov

Proceedings of the International Symposium on Software Testing and Analysis, 2002

VAlloy - Virtual Functions Meet a Relational Language.

Darko Marinov, Sarfraz Khurshid

Proceedings of the FME 2002: Formal Methods, 2002

2001

Checking Java implementation of a naming architecture using Testera.

Sarfraz Khurshid, Darko Marinov

Proceedings of the Workshop on Software Model Checking 2001, 2001

Testing an Intentional Naming Scheme Using Genetic Algorithms.

Sarfraz Khurshid

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

TestEra: A Novel Framework for Automated Testing of Java Programs.

Darko Marinov, Sarfraz Khurshid

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

2000

Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer.

Sarfraz Khurshid, Daniel Jackson

Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

1999

Is the Java Type System Sound?

Sophia Drossopoulou, Susan Eisenbach, Sarfraz Khurshid

Theory Pract. Object Syst., 1999