Concepedia

Sarfraz Khurshid

SK

123

Publications

8.4K

Citations

48

H-Index

1999

Active since

Affiliations

The University of Texas at Austin(Current)

University of Illinois Urbana-Champaign

Ames Research Center

Google (United States)

Massachusetts Institute of Technology

Sarfraz Khurshid is an author at The University of Texas at Austin specializing in computer science, engineering, and software analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisSoftware EngineeringSoftware TestingFormal MethodsFormal VerificationVerificationSoftware Design

Publications per year

1999–2022

123

Publications

123

Korat

Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov · ACM SIGSOFT Software Engineering Notes · 2002 · 592 citations

Automated Testing, Engineering, Automated Reasoning +15

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

Mengshi Zhang, Yuqun Zhang, Lingming Zhang et al. · 2018 · 577 citations · Full text

Artificial Intelligence, Convolutional Neural Network, Input Validation Framework +21

Test input generation with java PathFinder

Willem Visser, Corina S. Păsăreanu, Sarfraz Khurshid · 2004 · 500 citations

Engineering, Verification, Test Data Generation +21

Improving bug localization using structured information retrieval

Ripon K. Saha, Matthew Lease, Sarfraz Khurshid et al. · 2013 · 378 citations

Software Maintenance, Engineering, Software Engineering +19

Symbolic execution for software testing in practice

Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid et al. · 2011 · 325 citations

Software Maintenance, Engineering, Verification +19

Rows per page

1–5 of 123