D-Index & Metrics Best Publications

D-Index & Metrics

Discipline name D-index D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines. Citations Publications World Ranking National Ranking
Computer Science D-index 54 Citations 9,794 203 World Ranking 2344 National Ranking 1265

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Software
  • Operating system

Sarfraz Khurshid mostly deals with Programming language, Java, Symbolic execution, Theoretical computer science and Software. His work is connected to Data structure, Correctness, Program analysis, Java Modeling Language and Source code, as a part of Programming language. His Java research includes themes of Data mining, Interface, Test case, Debugging and Software engineering.

His work is dedicated to discovering how Symbolic execution, Model checking are connected with Deadlock and other disciplines. His study in Theoretical computer science is interdisciplinary in nature, drawing from both State, Concurrency, Database engine, Heuristics and Assertion. He works mostly in the field of Software, limiting it down to concerns involving Algorithm and, occasionally, Integer, System testing and Selection.

His most cited work include:

  • Korat: automated testing based on Java predicates (591 citations)
  • Generalized symbolic execution for model checking and testing (518 citations)
  • Test input generation with java PathFinder (443 citations)

What are the main themes of his work throughout his whole career to date?

The scientist’s investigation covers issues in Programming language, Theoretical computer science, Java, Symbolic execution and Software. His Theoretical computer science study deals with Key intersecting with Computation and Artificial intelligence. His Java research integrates issues from Java pathfinder, Debugging and Software engineering.

His work on Concolic testing as part of general Symbolic execution research is frequently linked to Context, bridging the gap between disciplines. His Software research incorporates elements of Test suite and Data mining. The Correctness study combines topics in areas such as Test case and Oracle.

He most often published in these fields:

  • Programming language (40.24%)
  • Theoretical computer science (26.83%)
  • Java (23.17%)

What were the highlights of his more recent work (between 2018-2021)?

  • Key (12.20%)
  • Artificial intelligence (8.13%)
  • Programming language (40.24%)

In recent papers he was focusing on the following fields of study:

Sarfraz Khurshid focuses on Key, Artificial intelligence, Programming language, Java and Machine learning. Sarfraz Khurshid has researched Key in several fields, including Embedding, Formal methods, Computation and Theoretical computer science. His study explores the link between Theoretical computer science and topics such as Solver that cross with problems in Focus.

His Programming language research includes elements of Variety and Transitive closure. His studies in Java integrate themes in fields like Software engineering, Executable, State and Imperative programming. His Symbolic execution research is multidisciplinary, relying on both Software testing and Code.

Between 2018 and 2021, his most popular works were:

  • An Empirical Study of Boosting Spectrum-based Fault Localization via PageRank (12 citations)
  • Symbolic execution for attribution and attack synthesis in neural networks (11 citations)
  • TestSage: Regression Test Selection for Large-Scale Web Service Testing (6 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Operating system
  • Software

His scientific interests lie mostly in Artificial intelligence, Machine learning, Java, Programming language and Theory of computation. His Artificial intelligence research is multidisciplinary, incorporating elements of Symbolic data analysis and Identification. In his study, Model checking is strongly linked to Leverage, which falls under the umbrella field of Java.

His work in the fields of Programming language, such as Correctness and Java syntax, intersects with other areas such as Stateful firewall. His research investigates the link between Theory of computation and topics such as Semantics that cross with problems in Key. His biological study spans a wide range of topics, including Theoretical computer science and Compiler.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

Korat: automated testing based on Java predicates

Chandrasekhar Boyapati;Sarfraz Khurshid;Darko Marinov.
international symposium on software testing and analysis (2002)

891 Citations

Generalized symbolic execution for model checking and testing

Sarfraz Khurshid;Corina S. Păsăreanu;Willem Visser.
tools and algorithms for construction and analysis of systems (2003)

733 Citations

Test input generation with java PathFinder

Willem Visser;Corina S. Pǎsǎreanu;Sarfraz Khurshid.
international symposium on software testing and analysis (2004)

640 Citations

Symbolic execution for software testing in practice: preliminary assessment

Cristian Cadar;Patrice Godefroid;Sarfraz Khurshid;Corina S. Pasareanu.
international conference on software engineering (2011)

426 Citations

TestEra: a novel framework for automated testing of Java programs

D. Marinov;S. Khurshid.
automated software engineering (2001)

328 Citations

Improving bug localization using structured information retrieval

Ripon K. Saha;Matthew Lease;Sarfraz Khurshid;Dewayne E. Perry.
automated software engineering (2013)

326 Citations

Directed incremental symbolic execution

Suzette Person;Guowei Yang;Neha Rungta;Sarfraz Khurshid.
programming language design and implementation (2011)

233 Citations

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

Mengshi Zhang;Yuqun Zhang;Lingming Zhang;Cong Liu.
automated software engineering (2018)

233 Citations

TestEra: Specification-Based Testing of Java Programs Using SAT

Sarfraz Khurshid;Darko Marinov.
automated software engineering (2004)

223 Citations

Exploring very large state spaces using genetic algorithms

Patrice Godefroid;Sarfraz Khurshid.
tools and algorithms for construction and analysis of systems (2004)

195 Citations

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

Contact us

Best Scientists Citing Sarfraz Khurshid

Darko Marinov

Darko Marinov

University of Illinois at Urbana-Champaign

Publications: 48

Tao Xie

Tao Xie

Peking University

Publications: 41

Lu Zhang

Lu Zhang

Peking University

Publications: 37

Nikolai Tillmann

Nikolai Tillmann

Facebook (United States)

Publications: 36

Willem Visser

Willem Visser

Stellenbosch University

Publications: 36

David Lo

David Lo

Singapore Management University

Publications: 35

Yves Le Traon

Yves Le Traon

University of Luxembourg

Publications: 34

Mark Harman

Mark Harman

University College London

Publications: 33

Koushik Sen

Koushik Sen

University of California, Berkeley

Publications: 32

Mike Papadakis

Mike Papadakis

University of Luxembourg

Publications: 28

Christian Kästner

Christian Kästner

Carnegie Mellon University

Publications: 28

Michael D. Ernst

Michael D. Ernst

University of Washington

Publications: 26

Daniel Jackson

Daniel Jackson

MIT

Publications: 26

Martin Rinard

Martin Rinard

MIT

Publications: 25

Zhendong Su

Zhendong Su

ETH Zurich

Publications: 25

Matthew B. Dwyer

Matthew B. Dwyer

University of Virginia

Publications: 25

Something went wrong. Please try again later.