Sarfraz Khurshid

228 papers A* 40A 56B 14C 12Misc 3Journal 51Unranked 50

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Property-Driven Evaluation of GNN Expressiveness at Scale: Datasets, Framework, and Study. CoRR Sicong Che, Jiayi Yang, Sarfraz Khurshid, Wenxi Wang
2025	J	`jnl`	APRIL: API Synthesis with Automatic Prompt Optimization and Reinforcement Learning. CoRR Hua Zhong, Shan Jiang, Sarfraz Khurshid
2025	J	`jnl`	An approach for API synthesis using large language models. CoRR Hua Zhong, Shan Jiang, Sarfraz Khurshid
2025	J	`jnl`	Identifying Multi-parameter Constraint Errors in Python Data Science Library API Documentation. Proc. ACM Softw. Eng. Xiufeng Xu, Fuman Xie, Chenguang Zhu, Guangdong Bai, Sarfraz Khurshid, Yi Li
2025	J	`jnl`	OBsmith: Testing JavaScript Obfuscator using LLM-powered sketching. CoRR Shan Jiang, Chenguang Zhu, Sarfraz Khurshid
2025	J	`jnl`	On the Effectiveness of Large Language Models in Writing Alloy Formulas. CoRR Yang Hong, Shan Jiang, Yulei Fu, Sarfraz Khurshid
2024	J	`jnl`	Detecting Multi-Parameter Constraint Inconsistencies in Python Data Science Libraries. CoRR Xiufeng Xu, Fuman Xie, Chenguang Zhu, Guangdong Bai, Sarfraz Khurshid, Yi Li
2024	J	`jnl`	Generating executable oracles to check conformance of client code to requirements of JDK Javadocs using LLMs. CoRR Shan Jiang, Chenguang Zhu, Sarfraz Khurshid
2024	A*	`conf`	NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks. ICLR Wenxi Wang, Yang Hu, Mohit Tiwari, Sarfraz Khurshid, Kenneth L. McMillan, Risto Miikkulainen
2023	A*	`conf`	Fixing Privilege Escalations in Cloud Access Control with MaxSAT and Graph Neural Networks. ASE Yang Hu, Wenxi Wang, Sarfraz Khurshid, Kenneth L. McMillan, Mohit Tiwari
2022	J	`jnl`	MoËT: Mixture of Expert Trees and its application to verifiable reinforcement learning. Neural Networks Marko Vasic, Andrija Petrovic, Kaiyuan Wang, Mladen Nikolic, Rishabh Singh, Sarfraz Khurshid
2022	A*	`conf`	SAPIENTML: Synthesizing Machine Learning Pipelines by Learning from Human-Written Solutions. ICSE Ripon K. Saha, Akira Ura, Sonal Mahajan, Chenguang Zhu, Linyi Li, Yang Hu, Hiroaki Yoshida, Sarfraz Khurshid, Mukul R. Prasad
2022	J	`jnl`	SapientML: Synthesizing Machine Learning Pipelines by Learning from Human-Written Solutions. CoRR Ripon K. Saha, Akira Ura, Sonal Mahajan, Chenguang Zhu, Linyi Li, Yang Hu, Hiroaki Yoshida, Sarfraz Khurshid, Mukul R. Prasad
2022	—	`conf`	SymMC: approximate model enumeration and counting using symmetry information for Alloy specifications. ESEC/SIGSOFT FSE Wenxi Wang, Yang Hu, Kenneth L. McMillan, Sarfraz Khurshid
2021	—	`conf`	ACHyb: a hybrid analysis approach to detect kernel access control vulnerabilities. ESEC/SIGSOFT FSE Yang Hu, Wenxi Wang, Casen Hunger, Riley Wood, Sarfraz Khurshid, Mohit Tiwari
2021	J	`jnl`	An Empirical Study of Boosting Spectrum-Based Fault Localization via PageRank. IEEE Trans. Software Eng. Mengshi Zhang, Yaoxian Li, Xia Li, Lingchao Chen, Yuqun Zhang, Lingming Zhang, Sarfraz Khurshid
2021	J	`jnl`	Distributed Symbolic Execution using Test-Depth Partitioning. CoRR Shikhar Singh, Sarfraz Khurshid
2021	Misc	`conf`	Enhancing constraint-based repair of data structure errors that recur using memoization. SAC Nima Dini, Razieh Nokhbeh Zaeem, Sarfraz Khurshid
2021	C	`conf`	Initial Results on Counting Test Orders for Order-Dependent Flaky Tests Using Alloy. ICTSS Wenxi Wang, Pu Yi, Sarfraz Khurshid, Darko Marinov
2021	J	`jnl`	NeuroComb: Improving SAT Solving with Graph Neural Networks. CoRR Wenxi Wang, Yang Hu, Mohit Tiwari, Sarfraz Khurshid, Kenneth L. McMillan, Risto Miikkulainen
2021	J	`jnl`	Programming and Training Rate-Independent Chemical Reaction Networks. CoRR Marko Vasic, Cameron T. Chalk, Austin Luchsinger, Sarfraz Khurshid, David Soloveichik
2021	A*	`conf`	Restoring the Executability of Jupyter Notebooks by Automatic Upgrade of Deprecated APIs. ASE Chenguang Zhu, Ripon K. Saha, Mukul R. Prasad, Sarfraz Khurshid
2020	—	`conf`	A Study of Symmetry Breaking Predicates and Model Counting. TACAS (1) Wenxi Wang, Muhammad Usman, Alyas Almaawi, Kaiyuan Wang, Kuldeep S. Meel, Sarfraz Khurshid
2020	J	`jnl`	A study of learning likely data structure properties using machine learning models. Int. J. Softw. Tools Technol. Transf. Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Cagdas Yelen, Nima Dini, Sarfraz Khurshid
2020	A*	`conf`	A study of the learnability of relational properties: model counting meets machine learning (MCML). PLDI Muhammad Usman, Wenxi Wang, Marko Vasic, Kaiyuan Wang, Haris Vikalo, Sarfraz Khurshid
2020	—	`conf`	AlloyMC: Alloy meets model counting. ESEC/SIGSOFT FSE Jiayi Yang, Wenxi Wang, Darko Marinov, Sarfraz Khurshid
2020	J	`jnl`	CRN++: Molecular programming language. Nat. Comput. Marko Vasic, David Soloveichik, Sarfraz Khurshid
2020	B	`conf`	CRNs Exposed: A Method for the Systematic Exploration of Chemical Reaction Networks. DNA Marko Vasic, David Soloveichik, Sarfraz Khurshid
2020	A*	`conf`	Deep Molecular Programming: A Natural Implementation of Binary-Weight ReLU Neural Networks. ICML Marko Vasic, Cameron T. Chalk, Sarfraz Khurshid, David Soloveichik
2020	J	`jnl`	Deep Molecular Programming: A Natural Implementation of Binary-Weight ReLU Neural Networks. CoRR Marko Vasic, Cameron T. Chalk, Sarfraz Khurshid, David Soloveichik
2020	A	`conf`	Designing Neural Networks Using Logical Specs. ISSRE Shikhar Singh, Marko Vasic, Sarfraz Khurshid
2020	A	`conf`	Fault Localization for Declarative Models in Alloy. ISSRE Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid
2020	A	`ed.`	ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020 ISSTA Sarfraz Khurshid, Corina S. Pasareanu
2020	C	`conf`	Parallel Chopped Symbolic Execution. ICFEM Shikhar Singh, Sarfraz Khurshid
2020	—	`conf`	Predictive constraint solving and analysis. ICSE (NIER) Alyas Almaawi, Nima Dini, Cagdas Yelen, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid
2020	A*	`conf`	TestMC: Testing Model Counters using Differential and Metamorphic Testing. ASE Muhammad Usman, Wenxi Wang, Sarfraz Khurshid
2020	J	`jnl`	The Java Pathfinder Workshop 2019. ACM SIGSOFT Softw. Eng. Notes 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
2020	J	`jnl`	Unifying execution of imperative generators and declarative specifications. Proc. ACM Program. Lang. Pengyu Nie, Marinela Parovic, Zhiqiang Zang, Sarfraz Khurshid, Aleksandar Milicevic, Milos Gligoric
2019	—	`conf`	A Study of Learning Data Structure Invariants Using Off-the-shelf Tools. SPIN Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Cagdas Yelen, Nima Dini, Sarfraz Khurshid
2019	J	`jnl`	A Study of the Learnability of Relational Properties (Model Counting Meets Machine Learning). CoRR Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Marko Vasic, Haris Vikalo, Sarfraz Khurshid
2019	—	`conf`	A framework for writing trigger-action todo comments in executable format. ESEC/SIGSOFT FSE Pengyu Nie, Rishabh Rai, Junyi Jessy Li, Sarfraz Khurshid, Raymond J. Mooney, Milos Gligoric
2019	J	`jnl`	A synergistic approach to improving symbolic execution using test ranges. Innov. Syst. Softw. Eng. Guowei Yang, Rui Qiu, Sarfraz Khurshid, Corina S. Pasareanu, Junye Wen
2019	—	`conf`	ARepair: a repair framework for alloy. ICSE (Companion Volume) Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid
2019	J	`jnl`	CRNs Exposed: Systematic Exploration of Chemical Reaction Networks. CoRR Marko Vasic, David Soloveichik, Sarfraz Khurshid
2019	J	`jnl`	EdSketch: execution-driven sketching for Java. Int. J. Softw. Tools Technol. Transf. Jinru Hua, Yushan Zhang, Yuqun Zhang, Sarfraz Khurshid
2019	A	`conf`	Extension-Aware Automated Testing Based on Imperative Predicates. ICST Nima Dini, Cagdas Yelen, Milos Gligoric, Sarfraz Khurshid
2019	—	`conf`	Incremental Analysis of Evolving Alloy Models. TACAS (1) Wenxi Wang, Kaiyuan Wang, Milos Gligoric, Sarfraz Khurshid
2019	—	`conf`	Learning Guided Enumerative Synthesis for Superoptimization. SPIN Shikhar Singh, Mengshi Zhang, Sarfraz Khurshid
2019	A	`conf`	Learning to Optimize the Alloy Analyzer. ICST Wenxi Wang, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid
2019	J	`jnl`	MoËT: Interpretable and Verifiable Reinforcement Learning via Mixture of Expert Trees. CoRR Marko Vasic, Andrija Petrovic, Kaiyuan Wang, Mladen Nikolic, Rishabh Singh, Sarfraz Khurshid
2019	J	`jnl`	Quantifying the Exploration of the Korat Solver for Imperative Constraints. ACM SIGSOFT Softw. Eng. Notes Alyas Almaawi, Hayes Converse, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid
2019	C	`conf`	Solution Enumeration Abstraction: A Modeling Idiom to Enhance a Lightweight Formal Method. ICFEM Allison Sullivan, Darko Marinov, Sarfraz Khurshid
2019	A	`conf`	Symbolic Execution for Importance Analysis and Adversarial Generation in Neural Networks. ISSRE Divya Gopinath, Mengshi Zhang, Kaiyuan Wang, Ismet Burak Kadron, Corina S. Pasareanu, Sarfraz Khurshid
2019	—	`conf`	Symbolic execution for attribution and attack synthesis in neural networks. ICSE (Companion Volume) Divya Gopinath, Corina S. Pasareanu, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid
2019	A	`conf`	TestSage: Regression Test Selection for Large-Scale Web Service Testing. ICST Hua Zhong, Lingming Zhang, Sarfraz Khurshid
2018	B	`conf`	: Molecular Programming Language. DNA Marko Vasic, David Soloveichik, Sarfraz Khurshid
2018	J	`jnl`	A Progress Bar for the JPF Search Using Program Executions. ACM SIGSOFT Softw. Eng. Notes Kaiyuan Wang, Hayes Converse, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid
2018	—	`conf`	ASketch: a sketching framework for Alloy. ESEC/SIGSOFT FSE Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid
2018	A	`conf`	AUnit: A Test Automation Tool for Alloy. ICST Allison Sullivan, Kaiyuan Wang, Sarfraz Khurshid
2018	A	`conf`	Accelerating Search-Based Program Repair. ICST Ben Mehne, Hiroaki Yoshida, Mukul R. Prasad, Koushik Sen, Divya Gopinath, Sarfraz Khurshid
2018	A	`conf`	Approximate Transformations as Mutation Operators. ICST Farah Hariri, August Shi, Owolabi Legunsen, Milos Gligoric, Sarfraz Khurshid, Sasa Misailovic
2018	A*	`conf`	Automated model repair for Alloy. ASE Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid
2018	J	`jnl`	CRN++: Molecular Programming Language. CoRR Marko Vasic, David Soloveichik, Sarfraz Khurshid
2018	J	`jnl`	DeepRoad: GAN-based Metamorphic Autonomous Driving System Testing. CoRR Mengshi Zhang, Yuqun Zhang, Lingming Zhang, Cong Liu, Sarfraz Khurshid
2018	A*	`conf`	DeepRoad: GAN-based metamorphic testing and input validation framework for autonomous driving systems. ASE Mengshi Zhang, Yuqun Zhang, Lingming Zhang, Cong Liu, Sarfraz Khurshid
2018	A	`conf`	EdSynth: Synthesizing API Sequences with Conditionals and Loops. ICST Zijiang Yang, Jinru Hua, Kaiyuan Wang, Sarfraz Khurshid
2018	J	`jnl`	Effectiveness of anonymization in double-blind review. Commun. ACM Claire Le Goues, Yuriy Brun, Sven Apel, Emery D. Berger, Sarfraz Khurshid, Yannis Smaragdakis
2018	J	`jnl`	Executable Trigger-Action Comments. CoRR Pengyu Nie, Rishabh Rai, Junyi Jessy Li, Sarfraz Khurshid, Raymond J. Mooney, Milos Gligoric
2018	J	`jnl`	Fault Localization for Declarative Models in Alloy. CoRR Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid
2018	Misc	`conf`	Korat-API: a framework to enhance korat to better support testing and reliability techniques. SAC Nima Dini, Cagdas Yelen, Zakaria Alrmaih, Amresh Kulkarni, Sarfraz Khurshid
2018	A	`conf`	Learning to Accelerate Symbolic Execution via Code Transformation. ECOOP Junjie Chen, Wenxiang Hu, Lingming Zhang, Dan Hao, Sarfraz Khurshid, Lu Zhang
2018	—	`conf`	MuAlloy: a mutation testing framework for alloy. ICSE (Companion Volume) Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid
2018	—	`conf`	Natural Language Processing and Program Analysis for Supporting Todo Comments as Software Evolves. AAAI Workshops Pengyu Nie, Junyi Jessy Li, Sarfraz Khurshid, Raymond J. Mooney, Milos Gligoric
2018	—	`conf`	Reducing Combinatorial Testing Requirements Based on Equivalences with Respect to the Code Under Test. SQAMIA Sarfraz Khurshid, Darko Marinov
2018	—	`conf`	SketchFix: a tool for automated program repair approach using lazy candidate generation. ESEC/SIGSOFT FSE Jinru Hua, Mengshi Zhang, Kaiyuan Wang, Sarfraz Khurshid
2018	C	`conf`	Solver-Based Sketching of Alloy Models Using Test Valuations. ABZ Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid
2018	J	`jnl`	Symbolic Execution for Deep Neural Networks. CoRR Divya Gopinath, Kaiyuan Wang, Mengshi Zhang, Corina S. Pasareanu, Sarfraz Khurshid
2018	C	`conf`	Systematic Generation of Non-equivalent Expressions for Relational Algebra. ABZ Kaiyuan Wang, Allison Sullivan, Manos Koukoutos, Darko Marinov, Sarfraz Khurshid
2018	A	`conf`	Test input generation with Java PathFinder: then and now (invited talk abstract). ISSTA Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser
2018	A*	`conf`	Towards practical program repair with on-demand candidate generation. ICSE Jinru Hua, Mengshi Zhang, Kaiyuan Wang, Sarfraz Khurshid
2018	—	`conf`	Using Test Ranges to Improve Symbolic Execution. NFM Rui Qiu, Sarfraz Khurshid, Corina S. Pasareanu, Junye Wen, Guowei Yang
2017	—	`conf`	A synergistic approach for distributed symbolic execution using test ranges. ICSE (Companion Volume) Rui Qiu, Sarfraz Khurshid, Corina S. Pasareanu, Guowei Yang
2017	A	`conf`	Automated Test Generation and Mutation Testing for Alloy. ICST Allison Sullivan, Kaiyuan Wang, Razieh Nokhbeh Zaeem, Sarfraz Khurshid
2017	A	`conf`	Boosting spectrum-based fault localization using PageRank. ISSTA Mengshi Zhang, Xia Li, Lingming Zhang, Sarfraz Khurshid
2017	J	`jnl`	Bounded exhaustive test-input generation on GPUs. Proc. ACM Program. Lang. Ahmet Çelik, Sreepathi Pai, Sarfraz Khurshid, Milos Gligoric
2017	—	`conf`	EdSketch: execution-driven sketching for Java. SPIN Jinru Hua, Sarfraz Khurshid
2017	J	`jnl`	Effectiveness of Anonymization in Double-Blind Review. CoRR Claire Le Goues, Yuriy Brun, Sven Apel, Emery D. Berger, Sarfraz Khurshid, Yannis Smaragdakis
2017	—	`conf`	Evaluating State Modeling Techniques in Alloy. SQAMIA Allison Sullivan, Kaiyuan Wang, Sarfraz Khurshid, Darko Marinov
2017	J	`jnl`	JPR: Replaying JPF Traces Using Standard JVM. ACM SIGSOFT Softw. Eng. Notes Kaiyuan Wang, Sarfraz Khurshid, Milos Gligoric
2017	—	`conf`	Mutation Testing Meets Approximate Computing. ICSE-NIER Milos Gligoric, Sarfraz Khurshid, Sasa Misailovic, August Shi
2017	A	`conf`	Non-Semantics-Preserving Transformations for Higher-Coverage Test Generation Using Symbolic Execution. ICST Hayes Converse, Oswaldo Olivo, Sarfraz Khurshid
2017	—	`conf`	Optimizing parallel Korat using invalid ranges. SPIN Nima Dini, Cagdas Yelen, Sarfraz Khurshid
2017	J	`jnl`	Perceptions on the State of the Art in Verification and Validation in Cyber-Physical Systems. IEEE Syst. J. Xi Zheng, Christine Julien, Miryung Kim, Sarfraz Khurshid
2016	B	`conf`	A Sketching-Based Approach for Debugging Using Test Cases. ATVA Jinru Hua, Sarfraz Khurshid
2016	B	`conf`	Certified Symbolic Execution. ATVA Rui Qiu, Corina S. Pasareanu, Sarfraz Khurshid
2016	—	`conf`	Combinatorial generation of structurally complex test inputs for commercial software applications. SIGSOFT FSE Hua Zhong, Lingming Zhang, Sarfraz Khurshid
2016	A	`conf`	Evaluating the Effects of Compiler Optimizations on Mutation Testing at the Compiler IR Level. ISSRE Farah Hariri, August Shi, Hayes Converse, Sarfraz Khurshid, Darko Marinov
2016	J	`jnl`	Exploring Underdetermined Specifications using Java PathFinder. ACM SIGSOFT Softw. Eng. Notes Alex Gyori, Ben Lambeth, Sarfraz Khurshid, Darko Marinov
2016	A*	`ed.`	Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016 ASE David Lo, Sven Apel, Sarfraz Khurshid
2016	A	`conf`	Repairing Intricate Faults in Code Using Machine Learning and Path Exploration. ICSME Divya Gopinath, Kaiyuan Wang, Jinru Hua, Sarfraz Khurshid
2016	—	`conf`	The comKorat Tool: Unified Combinatorial and Constraint-Based Generation of Structurally Complex Tests. NFM Hua Zhong, Lingming Zhang, Sarfraz Khurshid
2016	J	`jnl`	Towards Exhaustive Testing of Websites using JPF. ACM SIGSOFT Softw. Eng. Notes Sarvesh Nagarajan, Nastaran Shafiei, Sarfraz Khurshid
2015	—	`conf`	An Information Retrieval Approach for Regression Test Prioritization Based on Program Changes. ICSE (1) Ripon K. Saha, Lingming Zhang, Sarfraz Khurshid, Dewayne E. Perry
2015	A	`conf`	Are These Bugs Really "Normal"? MSR Ripon K. Saha, Julia Lawall, Sarfraz Khurshid, Dewayne E. Perry
2015	—	`conf`	Compositional Symbolic Execution with Memoized Replay. ICSE (1) Rui Qiu, Guowei Yang, Corina S. Pasareanu, Sarfraz Khurshid
2015	B	`conf`	Faster bug detection for software product lines with incomplete feature models. SPLC Sabrina Souto, Divya Gopinath, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid, Don S. Batory
2015	A	`conf`	Studying the influence of standard compiler optimizations on symbolic execution. ISSRE Shiyu Dong, Oswaldo Olivo, Lingming Zhang, Sarfraz Khurshid
2015	J	`jnl`	Understanding the triaging and fixing processes of long lived bugs. Inf. Softw. Technol. Ripon K. Saha, Sarfraz Khurshid, Dewayne E. Perry
2014	—	`conf`	An empirical study of long lived bugs. CSMR-WCRE Ripon K. Saha, Sarfraz Khurshid, Dewayne E. Perry
2014	A	`conf`	Automated Generation of Oracles for Testing User-Interaction Features of Mobile Apps. ICST Razieh Nokhbeh Zaeem, Mukul R. Prasad, Sarfraz Khurshid
2014	A	`conf`	Bounded exhaustive test input generation from hybrid invariants. OOPSLA Nicolás Rosner, Valeria S. Bengolea, Pablo Ponzio, Shadi Abdul Khalek, Nazareno Aguirre, Marcelo F. Frias, Sarfraz Khurshid
2014	A*	`conf`	Data-guided repair of selection statements. ICSE Divya Gopinath, Sarfraz Khurshid, Diptikalyan Saha, Satish Chandra
2014	J	`jnl`	Directed Incremental Symbolic Execution. ACM Trans. Softw. Eng. Methodol. Guowei Yang, Suzette Person, Neha Rungta, Sarfraz Khurshid
2014	A	`conf`	Feedback-driven dynamic invariant discovery. ISSTA Lingming Zhang, Guowei Yang, Neha Rungta, Suzette Person, Sarfraz Khurshid
2014	A	`conf`	On the Effectiveness of Information Retrieval Based Bug Localization for C Programs. ICSME Ripon K. Saha, Julia Lawall, Sarfraz Khurshid, Dewayne E. Perry
2014	A*	`conf`	Property differencing for incremental checking. ICSE Guowei Yang, Sarfraz Khurshid, Suzette Person, Neha Rungta
2014	—	`conf`	Towards a test automation framework for alloy. SPIN Allison Sullivan, Razieh Nokhbeh Zaeem, Sarfraz Khurshid, Darko Marinov
2014	A*	`conf`	Using Frankencerts for Automated Adversarial Testing of Certificate Validation in SSL/TLS Implementations. IEEE Symposium on Security and Privacy Chad Brubaker, Suman Jana, Baishakhi Ray, Sarfraz Khurshid, Vitaly Shmatikov
2013	J	`jnl`	Abstract State Machines, Alloy, B and Z Selected papers from ABZ 2010. Sci. Comput. Program. Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves
2013	A	`conf`	Faster mutation testing inspired by test prioritization and reduction. ISSTA Lingming Zhang, Darko Marinov, Sarfraz Khurshid
2013	J	`jnl`	FaultTracer: a spectrum-based approach to localizing failure-inducing program edits. J. Softw. Evol. Process. Lingming Zhang, Miryung Kim, Sarfraz Khurshid
2013	A*	`conf`	Improving bug localization using structured information retrieval. ASE Ripon K. Saha, Matthew Lease, Sarfraz Khurshid, Dewayne E. Perry
2013	A	`conf`	Injecting mechanical faults to localize developer faults for evolving software. OOPSLA Lingming Zhang, Lu Zhang, Sarfraz Khurshid
2013	A*	`conf`	Memoise: a tool for memoized symbolic execution. ICSE Guowei Yang, Sarfraz Khurshid, Corina S. Pasareanu
2013	A*	`conf`	Operator-based and random mutant selection: Better together. ASE Lingming Zhang, Milos Gligoric, Darko Marinov, Sarfraz Khurshid
2013	A*	`conf`	Ranger: Parallel analysis of alloy models by range partitioning. ASE Nicolás Rosner, Junaid Haroon Siddiqui, Nazareno Aguirre, Sarfraz Khurshid, Marcelo F. Frias
2013	B	`conf`	Repair Abstractions for More Efficient Data Structure Repair. RV Razieh Nokhbeh Zaeem, Muhammad Zubair Malik, Sarfraz Khurshid
2013	—	`conf`	SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems. ESEC/SIGSOFT FSE Chang Hwan Peter Kim, Darko Marinov, Sarfraz Khurshid, Don S. Batory, Sabrina Souto, Paulo Barros, Marcelo d'Amorim
2013	J	`jnl`	Scaling symbolic execution using staged analysis. Innov. Syst. Softw. Eng. Junaid Haroon Siddiqui, Sarfraz Khurshid
2013	A*	`conf`	Temporal code completion and navigation. ICSE Yun Young Lee, Sam Harwell, Sarfraz Khurshid, Darko Marinov
2012	—	`conf`	A family of generalized entropies and its application to software fault localization. IEEE Conf. of Intelligent Systems Shounak Roychowdhury, Sarfraz Khurshid
2012	C	`ed.`	Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings ABZ John Derrick, John S. Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene
2012	C	`conf`	Annotations for Alloy: Automated Incremental Analysis Using Domain Specific Solvers. ICFEM Svetoslav R. Ganov, Sarfraz Khurshid, Dewayne E. Perry
2012	A	`conf`	Dynamic Shape Analysis Using Spectral Graph Properties. ICST Muhammad Zubair Malik, Sarfraz Khurshid
2012	—	`conf`	FaultTracer: a change impact and regression fault analysis tool for evolving Java programs. SIGSOFT FSE Lingming Zhang, Miryung Kim, Sarfraz Khurshid
2012	A	`conf`	History-Aware Data Structure Repair Using SAT. TACAS Razieh Nokhbeh Zaeem, Divya Gopinath, Sarfraz Khurshid, Kathryn S. McKinley
2012	A*	`conf`	Improving the effectiveness of spectra-based fault localization using specifications. ASE Divya Gopinath, Razieh Nokhbeh Zaeem, Sarfraz Khurshid
2012	A	`conf`	Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving. ICST Junaid Haroon Siddiqui, Darko Marinov, Sarfraz Khurshid
2012	C	`conf`	Localization of faults in software programs using Bernoulli divergences. ISITA Shounak Roychowdhury, Sarfraz Khurshid
2012	A	`conf`	Memoized symbolic execution. ISSTA Guowei Yang, Corina S. Pasareanu, Sarfraz Khurshid
2012	J	`jnl`	Ranged Model Checking. ACM SIGSOFT Softw. Eng. Notes Diego Funes, Junaid Haroon Siddiqui, Sarfraz Khurshid
2012	A	`conf`	Regression mutation testing. ISSTA Lingming Zhang, Darko Marinov, Lu Zhang, Sarfraz Khurshid
2012	B	`ed.`	Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers RV Sarfraz Khurshid, Koushik Sen
2012	A	`conf`	Scaling symbolic execution using ranged analysis. OOPSLA Junaid Haroon Siddiqui, Sarfraz Khurshid
2012	A	`conf`	Shared Execution for Efficiently Testing Product Lines. ISSRE Chang Hwan Peter Kim, Sarfraz Khurshid, Don S. Batory
2012	B	`conf`	Specification-Based Test Repair Using a Lightweight Formal Method. FM Guowei Yang, Sarfraz Khurshid, Miryung Kim
2012	Misc	`conf`	Staged symbolic execution. SAC Junaid Haroon Siddiqui, Sarfraz Khurshid
2012	—	`conf`	Test input generation using dynamic programming. SIGSOFT FSE Razieh Nokhbeh Zaeem, Sarfraz Khurshid
2011	—	`conf`	A Novel Framework for Locating Software Faults Using Latent Divergences. ECML/PKDD (3) Shounak Roychowdhury, Sarfraz Khurshid
2011	A*	`conf`	A case for alloy annotations for efficient incremental analysis via domain specific solvers. ASE Svetoslav R. Ganov, Sarfraz Khurshid, Dewayne E. Perry
2011	A	`conf`	An Empirical Study of JUnit Test-Suite Reduction. ISSRE Lingming Zhang, Darko Marinov, Lu Zhang, Sarfraz Khurshid
2011	A	`conf`	Constraint-Based Program Debugging Using Data Structure Repair. ICST Muhammad Zubair Malik, Junaid Haroon Siddiqui, Sarfraz Khurshid
2011	A*	`conf`	Directed incremental symbolic execution. PLDI Suzette Person, Guowei Yang, Neha Rungta, Sarfraz Khurshid
2011	A	`conf`	Efficiently Running Test Suites Using Abstract Undo Operations. ISSRE Shadi Abdul Khalek, Sarfraz Khurshid
2011	—	`conf`	Localizing failure-inducing program edits based on spectrum information. ICSM Lingming Zhang, Miryung Kim, Sarfraz Khurshid
2011	A*	`conf`	Mixed constraints for test input generation - An initial exploration. ASE Shadi Abdul Khalek, Vidya Priyadarshini Narayanan, Sarfraz Khurshid
2011	—	`conf`	Reducing combinatorics in testing product lines. AOSD Chang Hwan Peter Kim, Don S. Batory, Sarfraz Khurshid
2011	A	`conf`	Specification-Based Program Repair Using SAT. TACAS Divya Gopinath, Muhammad Zubair Malik, Sarfraz Khurshid
2011	C	`conf`	Symbolic Execution of Alloy Models. ICFEM Junaid Haroon Siddiqui, Sarfraz Khurshid
2011	A*	`conf`	Symbolic execution for software testing in practice: preliminary assessment. ICSE Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Pasareanu, Koushik Sen, Nikolai Tillmann, Willem Visser
2011	A	`conf`	Systematic Testing of Database Engines Using a Relational Constraint Solver. ICST Shadi Abdul Khalek, Sarfraz Khurshid
2011	A*	`conf`	TestEra: A tool for testing Java programs using alloy specifications. ASE Shadi Abdul Khalek, Guowei Yang, Lingming Zhang, Darko Marinov, Sarfraz Khurshid
2010	—	`conf`	A Case for Using Data-Flow Analysis to Optimize Incremental Scope-Bounded Checking. ASM Danhua Shao, Divya Gopinath, Sarfraz Khurshid, Dewayne E. Perry
2010	—	`ed.`	Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings ABZ Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves
2010	A*	`conf`	Automated SQL query generation for systematic testing of database engines. ASE Shadi Abdul Khalek, Sarfraz Khurshid
2010	A	`conf`	Contract-Based Data Structure Repair Using Alloy. ECOOP Razieh Nokhbeh Zaeem, Sarfraz Khurshid
2010	A*	`conf`	Eliminating products to test in a software product line. ASE Chang Hwan Peter Kim, Don S. Batory, Sarfraz Khurshid
2010	J	`jnl`	Incremental Test Generation for Software Product Lines. IEEE Trans. Software Eng. Engin Uzuncaova, Sarfraz Khurshid, Don S. Batory
2010	—	`conf`	Introducing Specification-Based Data Structure Repair Using Alloy. ASM Razieh Nokhbeh Zaeem, Sarfraz Khurshid
2010	A	`conf`	Optimizing Incremental Scope-Bounded Checking with Data-Flow Analysis. ISSRE Danhua Shao, Divya Gopinath, Sarfraz Khurshid, Dewayne E. Perry
2010	B	`conf`	Reducing Configurations to Monitor in a Software Product Line. RV Chang Hwan Peter Kim, Eric Bodden, Don S. Batory, Sarfraz Khurshid
2010	—	`conf`	Test generation through programming in UDITA. ICSE (1) Milos Gligoric, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, Darko Marinov
2009	A*	`conf`	A Case for Automated Debugging Using Data Structure Repair. ASE Muhammad Zubair Malik, Khalid Ghori, Bassem Elkarablieh, Sarfraz Khurshid
2009	C	`conf`	An Empirical Study of Structural Constraint Solving Techniques. ICFEM Junaid Haroon Siddiqui, Sarfraz Khurshid
2009	B	`conf`	An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method. FM Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry
2009	C	`conf`	Event Listener Analysis and Symbolic Execution for Testing GUI Applications. ICFEM Svetoslav R. Ganov, Chip Killmar, Sarfraz Khurshid, Dewayne E. Perry
2009	A	`conf`	Optimizing Generation of Object Graphs in Java PathFinder. ICST Milos Gligoric, Tihomir Gvero, Steven Lauterburg, Darko Marinov, Sarfraz Khurshid
2009	A*	`conf`	Optimizing a Structural Constraint Solver for Efficient Software Checking. ASE Junaid Haroon Siddiqui, Darko Marinov, Sarfraz Khurshid
2009	A	`conf`	PKorat: Parallel Generation of Structurally Complex Test Inputs. ICST Junaid Haroon Siddiqui, Sarfraz Khurshid
2009	—	`conf`	SCA: a semantic conflict analyzer for parallel changes. ESEC/SIGSOFT FSE Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry
2009	—	`conf`	Semantic Impact and Faults in Source Code Changes: An Empirical Study. Australian Software Engineering Conference Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry
2008	B	`conf`	Constraint Prioritization for Efficient Analysis of Declarative Models. FM Engin Uzuncaova, Sarfraz Khurshid
2008	B	`conf`	Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution. APLAS Xin Li, Daryl Shannon, Indradeep Ghosh, Mizuhito Ogawa, Sreeranga P. Rajan, Sarfraz Khurshid
2008	A*	`conf`	Deryaft: a tool for generating representation invariants of structurally complex data. ICSE Muhammad Zubair Malik, Aman Pervaiz, Engin Uzuncaova, Sarfraz Khurshid
2008	A	`conf`	Efficient solving of structural constraints. ISSTA Bassem Elkarablieh, Darko Marinov, Sarfraz Khurshid
2008	A*	`conf`	Juzi: a tool for repairing complex data structures. ICSE Bassem Elkarablieh, Sarfraz Khurshid
2008	A*	`conf`	Query-Aware Test Generation Using a Relational Constraint Solver. ASE Shadi Abdul Khalek, Bassem Elkarablieh, Yai O. Laleye, Sarfraz Khurshid
2008	A*	`conf`	State extensions for java pathfinder. ICSE Tihomir Gvero, Milos Gligoric, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid
2008	—	`conf`	Test Generation for Graphical User Interfaces Based on Symbolic Execution. AST@ICSE Svetoslav R. Ganov, Chip Killmar, Sarfraz Khurshid, Dewayne E. Perry
2008	A	`conf`	Testing Software Product Lines Using Incremental Test Generation. ISSRE Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory
2007	—	`conf`	A specification-based approach to testing software product lines. ESEC/SIGSOFT FSE Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory
2007	A*	`conf`	Assertion-based repair of complex data structures. ASE Bassem Elkarablieh, Iván García, Yuk Lai Suen, Sarfraz Khurshid
2007	A	`conf`	Efficiently Generating Structurally Complex Inputs with Thousands of Objects. ECOOP Bassem Elkarablieh, Yehia Zayour, Sarfraz Khurshid
2007	—	`conf`	Evaluation of Semantic Interference Detection in Parallel Changes: an Exploratory Experiment. ICSM Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry
2007	A	`conf`	Generating Representation Invariants of Structurally Complex Data. TACAS Muhammad Zubair Malik, Aman Pervaiz, Sarfraz Khurshid
2007	B	`conf`	Global Optimization of Compositional Systems. FMCAD Fadi A. Zaraket, John Pape, Adnan Aziz, Margarida F. Jacome, Sarfraz Khurshid
2007	A*	`conf`	Kato: A Program Slicing Tool for Declarative Specifications. ICSE Engin Uzuncaova, Sarfraz Khurshid
2007	A*	`conf`	Korat: A Tool for Generating Structurally Complex Test Inputs. ICSE Aleksandar Milicevic, Sasa Misailovic, Darko Marinov, Sarfraz Khurshid
2007	—	`conf`	Parallel test generation and execution with Korat. ESEC/SIGSOFT FSE Sasa Misailovic, Aleksandar Milicevic, Nemanja Petrovic, Sarfraz Khurshid, Darko Marinov
2007	A*	`conf`	Sequential Circuits for Relational Analysis. ICSE Fadi A. Zaraket, Adnan Aziz, Sarfraz Khurshid
2007	A*	`conf`	Sequential circuits for program analysis. ASE Fadi A. Zaraket, Adnan Aziz, Sarfraz Khurshid
2007	A	`conf`	Starc: static analysis for efficient repair of complex data. OOPSLA Bassem Elkarablieh, Sarfraz Khurshid, Duy Vu, Kathryn S. McKinley
2007	B	`conf`	Verification of Multi-agent Negotiations Using the Alloy Analyzer. IFM Rodion M. Podorozhny, Sarfraz Khurshid, Dewayne E. Perry, Xiaoqin Zhang
2006	C	`conf`	An Automated Approach for Writing Alloy Specifications Using Instances. ISoLA Sarfraz Khurshid, Muhammad Zubair Malik, Engin Uzuncaova
2006	—	`conf`	Analyzing the Uses of a Software Modeling Tool. LDTA@ETAPS Xiaoming Li, Daryl Shannon, Jabari Walker, Sarfraz Khurshid, Darko Marinov
2006	J	`jnl`	Program slicing for declarative models. ACM SIGSOFT Softw. Eng. Notes Engin Uzuncaova, Sarfraz Khurshid
2005	J	`jnl`	Combining test case generation and runtime verification. Theor. Comput. Sci. Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Richard Washington
2005	—	`conf`	Generalizing symbolic execution to library classes. PASTE Sarfraz Khurshid, Yuk Lai Suen
2005	A	`conf`	Optimizations for Compiling Declarative Models into Boolean Formulas. SAT Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, Lintao Zhang, Martin C. Rinard
2005	—	`conf`	Repairing Structurally Complex Data. SPIN Sarfraz Khurshid, Iván García, Yuk Lai Suen
2005	J	`jnl`	Software Assurance by Bounded Exhaustive Testing. IEEE Trans. Software Eng. David Coppit, Jinlin Yang, Sarfraz Khurshid, Wei Le, Kevin J. Sullivan
2004	J	`jnl`	Exploring very large state spaces using genetic algorithms. Int. J. Softw. Tools Technol. Transf. Patrice Godefroid, Sarfraz Khurshid
2004	A	`conf`	Software assurance by bounded exhaustive testing. ISSTA Kevin J. Sullivan, Jinlin Yang, David Coppit, Sarfraz Khurshid, Daniel Jackson
2004	A	`conf`	Test input generation with java PathFinder. ISSTA Willem Visser, Corina S. Pasareanu, Sarfraz Khurshid
2004	J	`jnl`	TestEra: Specification-Based Testing of Java Programs Using SAT. Autom. Softw. Eng. Sarfraz Khurshid, Darko Marinov
2003	A	`conf`	A Case for Efficient Solution Enumeration. SAT Sarfraz Khurshid, Darko Marinov, Ilya Shlyakhter, Daniel Jackson
2003	—	`—`	Constraint-based generation of structurally complex tests. Sarfraz Khurshid
2003	A	`conf`	Generalized Symbolic Execution for Model Checking and Testing. TACAS Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser
2003	—	`conf`	Integrating Model Checking and Theorem Proving for Relational Reasoning. RelMiCS Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, Martin C. Rinard
2002	A	`conf`	An analyzable annotation language. OOPSLA Sarfraz Khurshid, Darko Marinov, Daniel Jackson
2002	A	`conf`	Exploring Very Large State Spaces Using Genetic Algorithms. TACAS Patrice Godefroid, Sarfraz Khurshid
2002	A	`conf`	Korat: automated testing based on Java predicates. ISSTA Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov
2002	—	`conf`	VAlloy - Virtual Functions Meet a Relational Language. FME Darko Marinov, Sarfraz Khurshid
2001	—	`conf`	Checking Java implementation of a naming architecture using Testera. Workshop on Software Model Checking @ CAV Sarfraz Khurshid, Darko Marinov
2001	A*	`conf`	TestEra: A Novel Framework for Automated Testing of Java Programs. ASE Darko Marinov, Sarfraz Khurshid
2001	A	`conf`	Testing an Intentional Naming Scheme Using Genetic Algorithms. TACAS Sarfraz Khurshid
2000	A*	`conf`	Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer. ASE Sarfraz Khurshid, Daniel Jackson
1999	J	`jnl`	Is the Java Type System Sound? Theory Pract. Object Syst. Sophia Drossopoulou, Susan Eisenbach, Sarfraz Khurshid