default search action
Sarfraz Khurshid
Person information
- affiliation: University of Texas at Austin, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c171]Wenxi Wang, Yang Hu, Mohit Tiwari, Sarfraz Khurshid, Kenneth L. McMillan, Risto Miikkulainen:
NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks. ICLR 2024 - 2023
- [c170]Yang Hu, Wenxi Wang, Sarfraz Khurshid, Kenneth L. McMillan, Mohit Tiwari:
Fixing Privilege Escalations in Cloud Access Control with MaxSAT and Graph Neural Networks. ASE 2023: 104-115 - 2022
- [j29]Marko Vasic, Andrija Petrovic, Kaiyuan Wang, Mladen Nikolic, Rishabh Singh, Sarfraz Khurshid:
MoËT: Mixture of Expert Trees and its application to verifiable reinforcement learning. Neural Networks 151: 34-47 (2022) - [c169]Ripon K. Saha, Akira Ura, Sonal Mahajan, Chenguang Zhu, Linyi Li, Yang Hu, Hiroaki Yoshida, Sarfraz Khurshid, Mukul R. Prasad:
SAPIENTML: Synthesizing Machine Learning Pipelines by Learning from Human-Written Solutions. ICSE 2022: 1932-1944 - [c168]Wenxi Wang, Yang Hu, Kenneth L. McMillan, Sarfraz Khurshid:
SymMC: approximate model enumeration and counting using symmetry information for Alloy specifications. ESEC/SIGSOFT FSE 2022: 1209-1220 - [i14]Ripon K. Saha, Akira Ura, Sonal Mahajan, Chenguang Zhu, Linyi Li, Yang Hu, Hiroaki Yoshida, Sarfraz Khurshid, Mukul R. Prasad:
SapientML: Synthesizing Machine Learning Pipelines by Learning from Human-Written Solutions. CoRR abs/2202.10451 (2022) - 2021
- [j28]Mengshi Zhang, Yaoxian Li, Xia Li, Lingchao Chen, Yuqun Zhang, Lingming Zhang, Sarfraz Khurshid:
An Empirical Study of Boosting Spectrum-Based Fault Localization via PageRank. IEEE Trans. Software Eng. 47(6): 1089-1113 (2021) - [c167]Chenguang Zhu, Ripon K. Saha, Mukul R. Prasad, Sarfraz Khurshid:
Restoring the Executability of Jupyter Notebooks by Automatic Upgrade of Deprecated APIs. ASE 2021: 240-252 - [c166]Wenxi Wang, Pu Yi, Sarfraz Khurshid, Darko Marinov:
Initial Results on Counting Test Orders for Order-Dependent Flaky Tests Using Alloy. ICTSS 2021: 123-130 - [c165]Nima Dini, Razieh Nokhbeh Zaeem, Sarfraz Khurshid:
Enhancing constraint-based repair of data structure errors that recur using memoization. SAC 2021: 1823-1832 - [c164]Yang Hu, Wenxi Wang, Casen Hunger, Riley Wood, Sarfraz Khurshid, Mohit Tiwari:
ACHyb: a hybrid analysis approach to detect kernel access control vulnerabilities. ESEC/SIGSOFT FSE 2021: 316-327 - [i13]Shikhar Singh, Sarfraz Khurshid:
Distributed Symbolic Execution using Test-Depth Partitioning. CoRR abs/2106.02179 (2021) - [i12]Marko Vasic, Cameron T. Chalk, Austin Luchsinger, Sarfraz Khurshid, David Soloveichik:
Programming and Training Rate-Independent Chemical Reaction Networks. CoRR abs/2109.11422 (2021) - [i11]Wenxi Wang, Yang Hu, Mohit Tiwari, Sarfraz Khurshid, Kenneth L. McMillan, Risto Miikkulainen:
NeuroComb: Improving SAT Solving with Graph Neural Networks. CoRR abs/2110.14053 (2021) - 2020
- [j27]Marko Vasic, David Soloveichik, Sarfraz Khurshid:
CRN++: Molecular programming language. Nat. Comput. 19(2): 391-407 (2020) - [j26]Pengyu Nie, Marinela Parovic, Zhiqiang Zang, Sarfraz Khurshid, Aleksandar Milicevic, Milos Gligoric:
Unifying execution of imperative generators and declarative specifications. Proc. ACM Program. Lang. 4(OOPSLA): 217:1-217:26 (2020) - [j25]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:
The Java Pathfinder Workshop 2019. ACM SIGSOFT Softw. Eng. Notes 45(2): 20-22 (2020) - [j24]Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Cagdas Yelen, Nima Dini, Sarfraz Khurshid:
A study of learning likely data structure properties using machine learning models. Int. J. Softw. Tools Technol. Transf. 22(5): 601-615 (2020) - [c163]Marko Vasic, David Soloveichik, Sarfraz Khurshid:
CRNs Exposed: A Method for the Systematic Exploration of Chemical Reaction Networks. DNA 2020: 4:1-4:25 - [c162]Shikhar Singh, Sarfraz Khurshid:
Parallel Chopped Symbolic Execution. ICFEM 2020: 107-125 - [c161]Marko Vasic, Cameron T. Chalk, Sarfraz Khurshid, David Soloveichik:
Deep Molecular Programming: A Natural Implementation of Binary-Weight ReLU Neural Networks. ICML 2020: 9701-9711 - [c160]Alyas Almaawi, Nima Dini, Cagdas Yelen, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid:
Predictive constraint solving and analysis. ICSE (NIER) 2020: 109-112 - [c159]Shikhar Singh, Marko Vasic, Sarfraz Khurshid:
Designing Neural Networks Using Logical Specs. ISSRE 2020: 160-171 - [c158]Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid:
Fault Localization for Declarative Models in Alloy. ISSRE 2020: 391-402 - [c157]Muhammad Usman, Wenxi Wang, Sarfraz Khurshid:
TestMC: Testing Model Counters using Differential and Metamorphic Testing. ASE 2020: 709-721 - [c156]Muhammad Usman, Wenxi Wang, Marko Vasic, Kaiyuan Wang, Haris Vikalo, Sarfraz Khurshid:
A study of the learnability of relational properties: model counting meets machine learning (MCML). PLDI 2020: 1098-1111 - [c155]Jiayi Yang, Wenxi Wang, Darko Marinov, Sarfraz Khurshid:
AlloyMC: Alloy meets model counting. ESEC/SIGSOFT FSE 2020: 1541-1545 - [c154]Wenxi Wang, Muhammad Usman, Alyas Almaawi, Kaiyuan Wang, Kuldeep S. Meel, Sarfraz Khurshid:
A Study of Symmetry Breaking Predicates and Model Counting. TACAS (1) 2020: 115-134 - [e5]Sarfraz Khurshid, Corina S. Pasareanu:
ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020. ACM 2020, ISBN 978-1-4503-8008-9 [contents] - [i10]Marko Vasic, Cameron T. Chalk, Sarfraz Khurshid, David Soloveichik:
Deep Molecular Programming: A Natural Implementation of Binary-Weight ReLU Neural Networks. CoRR abs/2003.13720 (2020)
2010 – 2019
- 2019
- [j23]Guowei Yang, Rui Qiu, Sarfraz Khurshid, Corina S. Pasareanu, Junye Wen:
A synergistic approach to improving symbolic execution using test ranges. Innov. Syst. Softw. Eng. 15(3-4): 325-342 (2019) - [j22]Alyas Almaawi, Hayes Converse, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid:
Quantifying the Exploration of the Korat Solver for Imperative Constraints. ACM SIGSOFT Softw. Eng. Notes 44(4): 15 (2019) - [j21]Jinru Hua, Yushan Zhang, Yuqun Zhang, Sarfraz Khurshid:
EdSketch: execution-driven sketching for Java. Int. J. Softw. Tools Technol. Transf. 21(3): 249-265 (2019) - [c153]Allison Sullivan, Darko Marinov, Sarfraz Khurshid:
Solution Enumeration Abstraction: A Modeling Idiom to Enhance a Lightweight Formal Method. ICFEM 2019: 336-352 - [c152]Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid:
ARepair: a repair framework for alloy. ICSE (Companion Volume) 2019: 103-106 - [c151]Divya Gopinath, Corina S. Pasareanu, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid:
Symbolic execution for attribution and attack synthesis in neural networks. ICSE (Companion Volume) 2019: 282-283 - [c150]Nima Dini, Cagdas Yelen, Milos Gligoric, Sarfraz Khurshid:
Extension-Aware Automated Testing Based on Imperative Predicates. ICST 2019: 25-36 - [c149]Wenxi Wang, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid:
Learning to Optimize the Alloy Analyzer. ICST 2019: 228-239 - [c148]Hua Zhong, Lingming Zhang, Sarfraz Khurshid:
TestSage: Regression Test Selection for Large-Scale Web Service Testing. ICST 2019: 430-440 - [c147]Divya Gopinath, Mengshi Zhang, Kaiyuan Wang, Ismet Burak Kadron, Corina S. Pasareanu, Sarfraz Khurshid:
Symbolic Execution for Importance Analysis and Adversarial Generation in Neural Networks. ISSRE 2019: 313-322 - [c146]Pengyu Nie, Rishabh Rai, Junyi Jessy Li, Sarfraz Khurshid, Raymond J. Mooney, Milos Gligoric:
A framework for writing trigger-action todo comments in executable format. ESEC/SIGSOFT FSE 2019: 385-396 - [c145]Shikhar Singh, Mengshi Zhang, Sarfraz Khurshid:
Learning Guided Enumerative Synthesis for Superoptimization. SPIN 2019: 172-192 - [c144]Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Cagdas Yelen, Nima Dini, Sarfraz Khurshid:
A Study of Learning Data Structure Invariants Using Off-the-shelf Tools. SPIN 2019: 226-243 - [c143]Wenxi Wang, Kaiyuan Wang, Milos Gligoric, Sarfraz Khurshid:
Incremental Analysis of Evolving Alloy Models. TACAS (1) 2019: 174-191 - [i9]Marko Vasic, Andrija Petrovic, Kaiyuan Wang, Mladen Nikolic, Rishabh Singh, Sarfraz Khurshid:
MoËT: Interpretable and Verifiable Reinforcement Learning via Mixture of Expert Trees. CoRR abs/1906.06717 (2019) - [i8]Marko Vasic, David Soloveichik, Sarfraz Khurshid:
CRNs Exposed: Systematic Exploration of Chemical Reaction Networks. CoRR abs/1912.06197 (2019) - [i7]Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Marko Vasic, Haris Vikalo, Sarfraz Khurshid:
A Study of the Learnability of Relational Properties (Model Counting Meets Machine Learning). CoRR abs/1912.11580 (2019) - 2018
- [j20]Claire Le Goues, Yuriy Brun, Sven Apel, Emery D. Berger, Sarfraz Khurshid, Yannis Smaragdakis:
Effectiveness of anonymization in double-blind review. Commun. ACM 61(6): 30-33 (2018) - [j19]Kaiyuan Wang, Hayes Converse, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid:
A Progress Bar for the JPF Search Using Program Executions. ACM SIGSOFT Softw. Eng. Notes 43(4): 55 (2018) - [c142]Pengyu Nie, Junyi Jessy Li, Sarfraz Khurshid, Raymond J. Mooney, Milos Gligoric:
Natural Language Processing and Program Analysis for Supporting Todo Comments as Software Evolves. AAAI Workshops 2018: 775-778 - [c141]Kaiyuan Wang, Allison Sullivan, Manos Koukoutos, Darko Marinov, Sarfraz Khurshid:
Systematic Generation of Non-equivalent Expressions for Relational Algebra. ABZ 2018: 105-120 - [c140]Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid:
Solver-Based Sketching of Alloy Models Using Test Valuations. ABZ 2018: 121-136 - [c139]Marko Vasic, David Soloveichik, Sarfraz Khurshid:
: Molecular Programming Language. DNA 2018: 1-18 - [c138]Junjie Chen, Wenxiang Hu, Lingming Zhang, Dan Hao, Sarfraz Khurshid, Lu Zhang:
Learning to Accelerate Symbolic Execution via Code Transformation. ECOOP 2018: 6:1-6:27 - [c137]Jinru Hua, Mengshi Zhang, Kaiyuan Wang, Sarfraz Khurshid:
Towards practical program repair with on-demand candidate generation. ICSE 2018: 12-23 - [c136]Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid:
MuAlloy: a mutation testing framework for alloy. ICSE (Companion Volume) 2018: 29-32 - [c135]Zijiang Yang, Jinru Hua, Kaiyuan Wang, Sarfraz Khurshid:
EdSynth: Synthesizing API Sequences with Conditionals and Loops. ICST 2018: 161-171 - [c134]Ben Mehne, Hiroaki Yoshida, Mukul R. Prasad, Koushik Sen, Divya Gopinath, Sarfraz Khurshid:
Accelerating Search-Based Program Repair. ICST 2018: 227-238 - [c133]Farah Hariri, August Shi, Owolabi Legunsen, Milos Gligoric, Sarfraz Khurshid, Sasa Misailovic:
Approximate Transformations as Mutation Operators. ICST 2018: 285-296 - [c132]Allison Sullivan, Kaiyuan Wang, Sarfraz Khurshid:
AUnit: A Test Automation Tool for Alloy. ICST 2018: 398-403 - [c131]Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser:
Test input generation with Java PathFinder: then and now (invited talk abstract). ISSTA 2018: 1-2 - [c130]Mengshi Zhang, Yuqun Zhang, Lingming Zhang, Cong Liu, Sarfraz Khurshid:
DeepRoad: GAN-based metamorphic testing and input validation framework for autonomous driving systems. ASE 2018: 132-142 - [c129]Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid:
Automated model repair for Alloy. ASE 2018: 577-588 - [c128]Rui Qiu, Sarfraz Khurshid, Corina S. Pasareanu, Junye Wen, Guowei Yang:
Using Test Ranges to Improve Symbolic Execution. NFM 2018: 416-434 - [c127]Nima Dini, Cagdas Yelen, Zakaria Alrmaih, Amresh Kulkarni, Sarfraz Khurshid:
Korat-API: a framework to enhance korat to better support testing and reliability techniques. SAC 2018: 1934-1943 - [c126]Jinru Hua, Mengshi Zhang, Kaiyuan Wang, Sarfraz Khurshid:
SketchFix: a tool for automated program repair approach using lazy candidate generation. ESEC/SIGSOFT FSE 2018: 888-891 - [c125]Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid:
ASketch: a sketching framework for Alloy. ESEC/SIGSOFT FSE 2018: 916-919 - [c124]Sarfraz Khurshid, Darko Marinov:
Reducing Combinatorial Testing Requirements Based on Equivalences with Respect to the Code Under Test. SQAMIA 2018 - [i6]Mengshi Zhang, Yuqun Zhang, Lingming Zhang, Cong Liu, Sarfraz Khurshid:
DeepRoad: GAN-based Metamorphic Autonomous Driving System Testing. CoRR abs/1802.02295 (2018) - [i5]Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid:
Fault Localization for Declarative Models in Alloy. CoRR abs/1807.08707 (2018) - [i4]Divya Gopinath, Kaiyuan Wang, Mengshi Zhang, Corina S. Pasareanu, Sarfraz Khurshid:
Symbolic Execution for Deep Neural Networks. CoRR abs/1807.10439 (2018) - [i3]Pengyu Nie, Rishabh Rai, Junyi Jessy Li, Sarfraz Khurshid, Raymond J. Mooney, Milos Gligoric:
Executable Trigger-Action Comments. CoRR abs/1808.01729 (2018) - [i2]Marko Vasic, David Soloveichik, Sarfraz Khurshid:
CRN++: Molecular Programming Language. CoRR abs/1809.07430 (2018) - 2017
- [j18]Ahmet Çelik, Sreepathi Pai, Sarfraz Khurshid, Milos Gligoric:
Bounded exhaustive test-input generation on GPUs. Proc. ACM Program. Lang. 1(OOPSLA): 94:1-94:25 (2017) - [j17]Kaiyuan Wang, Sarfraz Khurshid, Milos Gligoric:
JPR: Replaying JPF Traces Using Standard JVM. ACM SIGSOFT Softw. Eng. Notes 42(4): 1-5 (2017) - [j16]Xi Zheng, Christine Julien, Miryung Kim, Sarfraz Khurshid:
Perceptions on the State of the Art in Verification and Validation in Cyber-Physical Systems. IEEE Syst. J. 11(4): 2614-2627 (2017) - [c123]Milos Gligoric, Sarfraz Khurshid, Sasa Misailovic, August Shi:
Mutation Testing Meets Approximate Computing. ICSE-NIER 2017: 3-6 - [c122]Rui Qiu, Sarfraz Khurshid, Corina S. Pasareanu, Guowei Yang:
A synergistic approach for distributed symbolic execution using test ranges. ICSE (Companion Volume) 2017: 130-132 - [c121]Hayes Converse, Oswaldo Olivo, Sarfraz Khurshid:
Non-Semantics-Preserving Transformations for Higher-Coverage Test Generation Using Symbolic Execution. ICST 2017: 241-252 - [c120]Allison Sullivan, Kaiyuan Wang, Razieh Nokhbeh Zaeem, Sarfraz Khurshid:
Automated Test Generation and Mutation Testing for Alloy. ICST 2017: 264-275 - [c119]Mengshi Zhang, Xia Li, Lingming Zhang, Sarfraz Khurshid:
Boosting spectrum-based fault localization using PageRank. ISSTA 2017: 261-272 - [c118]Jinru Hua, Sarfraz Khurshid:
EdSketch: execution-driven sketching for Java. SPIN 2017: 162-171 - [c117]Nima Dini, Cagdas Yelen, Sarfraz Khurshid:
Optimizing parallel Korat using invalid ranges. SPIN 2017: 182-191 - [c116]Allison Sullivan, Kaiyuan Wang, Sarfraz Khurshid, Darko Marinov:
Evaluating State Modeling Techniques in Alloy. SQAMIA 2017 - [i1]Claire Le Goues, Yuriy Brun, Sven Apel, Emery D. Berger, Sarfraz Khurshid, Yannis Smaragdakis:
Effectiveness of Anonymization in Double-Blind Review. CoRR abs/1709.01609 (2017) - 2016
- [j15]Alex Gyori, Ben Lambeth, Sarfraz Khurshid, Darko Marinov:
Exploring Underdetermined Specifications using Java PathFinder. ACM SIGSOFT Softw. Eng. Notes 41(6): 1-5 (2016) - [j14]Sarvesh Nagarajan, Nastaran Shafiei, Sarfraz Khurshid:
Towards Exhaustive Testing of Websites using JPF. ACM SIGSOFT Softw. Eng. Notes 41(6): 1-5 (2016) - [c115]Jinru Hua, Sarfraz Khurshid:
A Sketching-Based Approach for Debugging Using Test Cases. ATVA 2016: 463-478 - [c114]Rui Qiu, Corina S. Pasareanu, Sarfraz Khurshid:
Certified Symbolic Execution. ATVA 2016: 495-511 - [c113]Divya Gopinath, Kaiyuan Wang, Jinru Hua, Sarfraz Khurshid:
Repairing Intricate Faults in Code Using Machine Learning and Path Exploration. ICSME 2016: 453-457 - [c112]Farah Hariri, August Shi, Hayes Converse, Sarfraz Khurshid, Darko Marinov:
Evaluating the Effects of Compiler Optimizations on Mutation Testing at the Compiler IR Level. ISSRE 2016: 105-115 - [c111]Hua Zhong, Lingming Zhang, Sarfraz Khurshid:
The comKorat Tool: Unified Combinatorial and Constraint-Based Generation of Structurally Complex Tests. NFM 2016: 107-113 - [c110]Hua Zhong, Lingming Zhang, Sarfraz Khurshid:
Combinatorial generation of structurally complex test inputs for commercial software applications. SIGSOFT FSE 2016: 981-986 - [e4]David Lo, Sven Apel, Sarfraz Khurshid:
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016. ACM 2016, ISBN 978-1-4503-3845-5 [contents] - 2015
- [j13]Ripon K. Saha, Sarfraz Khurshid, Dewayne E. Perry:
Understanding the triaging and fixing processes of long lived bugs. Inf. Softw. Technol. 65: 114-128 (2015) - [c109]Ripon K. Saha, Lingming Zhang, Sarfraz Khurshid, Dewayne E. Perry:
An Information Retrieval Approach for Regression Test Prioritization Based on Program Changes. ICSE (1) 2015: 268-279 - [c108]Rui Qiu, Guowei Yang, Corina S. Pasareanu, Sarfraz Khurshid:
Compositional Symbolic Execution with Memoized Replay. ICSE (1) 2015: 632-642 - [c107]Shiyu Dong, Oswaldo Olivo, Lingming Zhang, Sarfraz Khurshid:
Studying the influence of standard compiler optimizations on symbolic execution. ISSRE 2015: 205-215 - [c106]Ripon K. Saha, Julia Lawall, Sarfraz Khurshid, Dewayne E. Perry:
Are These Bugs Really "Normal"? MSR 2015: 258-268 - [c105]Sabrina Souto, Divya Gopinath, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid, Don S. Batory:
Faster bug detection for software product lines with incomplete feature models. SPLC 2015: 151-160 - 2014
- [j12]Guowei Yang, Suzette Person, Neha Rungta, Sarfraz Khurshid:
Directed Incremental Symbolic Execution. ACM Trans. Softw. Eng. Methodol. 24(1): 3:1-3:42 (2014) - [c104]Ripon K. Saha, Sarfraz Khurshid, Dewayne E. Perry:
An empirical study of long lived bugs. CSMR-WCRE 2014: 144-153 - [c103]Divya Gopinath, Sarfraz Khurshid, Diptikalyan Saha, Satish Chandra:
Data-guided repair of selection statements. ICSE 2014: 243-253 - [c102]Guowei Yang, Sarfraz Khurshid, Suzette Person, Neha Rungta:
Property differencing for incremental checking. ICSE 2014: 1059-1070 - [c101]Ripon K. Saha, Julia Lawall, Sarfraz Khurshid, Dewayne E. Perry:
On the Effectiveness of Information Retrieval Based Bug Localization for C Programs. ICSME 2014: 161-170 - [c100]Razieh Nokhbeh Zaeem, Mukul R. Prasad, Sarfraz Khurshid:
Automated Generation of Oracles for Testing User-Interaction Features of Mobile Apps. ICST 2014: 183-192 - [c99]Lingming Zhang, Guowei Yang, Neha Rungta, Suzette Person, Sarfraz Khurshid:
Feedback-driven dynamic invariant discovery. ISSTA 2014: 362-372 - [c98]Nicolás Rosner, Valeria S. Bengolea, Pablo Ponzio, Shadi Abdul Khalek, Nazareno Aguirre, Marcelo F. Frias, Sarfraz Khurshid:
Bounded exhaustive test input generation from hybrid invariants. OOPSLA 2014: 655-674 - [c97]Chad Brubaker, Suman Jana, Baishakhi Ray, Sarfraz Khurshid, Vitaly Shmatikov:
Using Frankencerts for Automated Adversarial Testing of Certificate Validation in SSL/TLS Implementations. IEEE Symposium on Security and Privacy 2014: 114-129 - [c96]Allison Sullivan, Razieh Nokhbeh Zaeem, Sarfraz Khurshid, Darko Marinov:
Towards a test automation framework for alloy. SPIN 2014: 113-116 - 2013
- [j11]Junaid Haroon Siddiqui, Sarfraz Khurshid:
Scaling symbolic execution using staged analysis. Innov. Syst. Softw. Eng. 9(2): 119-131 (2013) - [j10]Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves:
Abstract State Machines, Alloy, B and Z Selected papers from ABZ 2010. Sci. Comput. Program. 78(3): 270-271 (2013) - [j9]Lingming Zhang, Miryung Kim, Sarfraz Khurshid:
FaultTracer: a spectrum-based approach to localizing failure-inducing program edits. J. Softw. Evol. Process. 25(12): 1357-1383 (2013) - [c95]Yun Young Lee, Sam Harwell, Sarfraz Khurshid, Darko Marinov:
Temporal code completion and navigation. ICSE 2013: 1181-1184 - [c94]Guowei Yang, Sarfraz Khurshid, Corina S. Pasareanu:
Memoise: a tool for memoized symbolic execution. ICSE 2013: 1343-1346 - [c93]