World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
57
Citations
12076
World Ranking
3868
National Ranking
1829

Overview

Sarfraz Khurshid is affiliated with The University of Texas at Austin in the United States. Their primary area of research is in Computer Science, with a significant focus on software-related fields. Their scholarly work spans topics such as Software Testing and Debugging Techniques, Software Reliability and Analysis Research, and Software Engineering Research. They also contribute to research in Advanced Biosensing and Bioanalysis Techniques, Advanced Malware Detection Techniques, Scientific Computing and Data Management, and Formal Methods in Verification.

The scientist has a substantial publication record in various respected venues. Notable venues with multiple publications include arXiv (Cornell University), Proceedings of the National Academy of Sciences, Proceedings of the 44th International Conference on Software Engineering, Natural Computing, and the 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE).

Some of the recent papers authored or co-authored by Sarfraz Khurshid are:

  • CRN++: Molecular programming language (2020) in Natural Computing
  • Programming and training rate-independent chemical reaction networks (2022) in Proceedings of the National Academy of Sciences
  • SapientML (2022) in Proceedings of the 44th International Conference on Software Engineering
  • Restoring the Executability of Jupyter Notebooks by Automatic Upgrade of Deprecated APIs (2021) in 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)
  • Unifying execution of imperative generators and declarative specifications (2020) in Proceedings of the ACM on Programming Languages

Sarfraz Khurshid frequently collaborates with various co-authors. Some of the most frequent collaborators include Marko Vasić, Wenxi Wang, David Soloveichik, Chenguang Zhu, and Kaiyuan Wang.

Their research contributions touch multiple subfields within Computer Science, including Software, Artificial Intelligence, Molecular Biology, Information Systems, and Signal Processing.

Best Publications

  • Korat: automated testing based on Java predicates

    Chandrasekhar Boyapati;Sarfraz Khurshid;Darko Marinov

  • Generalized symbolic execution for model checking and testing

    Sarfraz Khurshid;Corina S. Păsăreanu;Willem Visser

  • Test input generation with java PathFinder

    Willem Visser;Corina S. Pǎsǎreanu;Sarfraz Khurshid

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

    Mengshi Zhang;Yuqun Zhang;Lingming Zhang;Cong Liu

  • Symbolic execution for software testing in practice: preliminary assessment

    Cristian Cadar;Patrice Godefroid;Sarfraz Khurshid;Corina S. Pasareanu

  • Improving bug localization using structured information retrieval

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

  • TestEra: a novel framework for automated testing of Java programs

    D. Marinov;S. Khurshid

  • Directed incremental symbolic execution

    Suzette Person;Guowei Yang;Neha Rungta;Sarfraz Khurshid

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

    Sarfraz Khurshid;Darko Marinov

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

    Chad Brubaker;Suman Jana;Baishakhi Ray;Sarfraz Khurshid

  • Test generation through programming in UDITA

    Milos Gligoric;Tihomir Gvero;Vilas Jagannath;Sarfraz Khurshid

  • Exploring very large state spaces using genetic algorithms

    Patrice Godefroid;Sarfraz Khurshid

  • Reducing combinatorics in testing product lines

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

  • Towards practical program repair with on-demand candidate generation

    Jinru Hua;Mengshi Zhang;Kaiyuan Wang;Sarfraz Khurshid

  • Boosting spectrum-based fault localization using PageRank

    Mengshi Zhang;Xia Li;Lingming Zhang;Sarfraz Khurshid

  • Specification-based program repair using SAT

    Divya Gopinath;Muhammad Zubair Malik;Sarfraz Khurshid

  • Combining test case generation and runtime verification

    Cyrille Artho;Howard Barringer;Allen Goldberg;Klaus Havelund

  • Memoized Symbolic Execution

    Guowei Yang;Corina S. Pasareanu;Sarfraz Khurshid

  • Localizing failure-inducing program edits based on spectrum information

    Lingming Zhang;Miryung Kim;Sarfraz Khurshid

  • Software assurance by bounded exhaustive testing

    Kevin Sullivan;Jinlin Yang;David Coppit;Sarfraz Khurshid

  • Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering

    David Lo;Sven Apel;Sarfraz Khurshid

  • State extensions for java pathfinder

    Tihomir Gvero;Milos Gligoric;Steven Lauterburg;Marcelo d'Amorim

Frequent Co-Authors

Darko Marinov
Darko Marinov University of Illinois at Urbana-Champaign
Dewayne E. Perry
Dewayne E. Perry The University of Texas at Austin
Lingming Zhang
Lingming Zhang University of Illinois at Urbana-Champaign
Corina S. Pasareanu
Corina S. Pasareanu Carnegie Mellon University
Don Batory
Don Batory The University of Texas at Austin
Koushik Sen
Koushik Sen University of California, Berkeley
Willem Visser
Willem Visser Amazon (United States)
Miryung Kim
Miryung Kim University of California, Los Angeles

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring Computer Science in the USA opens doors to both technical and interdisciplinary career paths. Many students interested in computing and technology also consider highly flexible online programs in related fields. For those drawn to legal systems, a criminal justice degree online provides an understanding of cybersecurity, cybercrime, and forensics, which complement technical skills.

Finance and tech increasingly overlap, so online accounting degree programs help bridge the gap between data analytics, business intelligence, and foundational accounting knowledge.

Data science is another key field, with demand for experts rising fast. Earning an online masters for data science can lead to specialized roles in machine learning, AI, and big data analytics.

For a hands-on industry approach, students may look toward a 2 year construction management degree online. This pathway merges technical skills with project management, engineering, and information systems, all increasingly powered by digital solutions.

Each of these online degrees creates valuable pathways for those passionate about applying computer science in diverse industries.

Best Scientists Citing Sarfraz Khurshid

Trending Scientists