Sarfraz Khurshid - Concepedia

Author

Sarfraz Khurshid

The University of Texas at Austin

Also Known As

Khurshid, Sarfraz, Laleau, RÃ©gine, S. Khurshid, Sarfraz Khurshid

269

Publications

10.1K

Citations

H-Index

140

Concepts

All Affiliations

The University of Texas at Austin University of Illinois Urbana-Champaign Ames Research Center Google (United States)Massachusetts Institute of Technology

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	46	114	8.1K
2	Language Studies	4	4	128
3	Management	2	2	61
4	Business	1	1	15
5	Social Sciences	1	1	11

Sarfraz Khurshid

123

Publications

8.4K

Citations

H-Index

Page 1

	Year	Citations
Korat Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov ACM SIGSOFT Software Engineering Notes Automated TestingEngineeringAutomated ReasoningProgram AnalysisSoftware Testing	2002	592
DeepRoad: GAN-based metamorphic testing and input validation framework for autonomous driving systems Mengshi Zhang, Yuqun Zhang, Lingming Zhang, Artificial IntelligenceConvolutional Neural NetworkInput Validation FrameworkEngineeringMachine Learning	2018	577
Test input generation with java PathFinder Willem Visser, Corina S. Păsăreanu, Sarfraz Khurshid EngineeringVerificationTest Data GenerationSoftware EngineeringModel Checking	2004	500
Improving bug localization using structured information retrieval Ripon K. Saha, Matthew Lease, Sarfraz Khurshid, Software MaintenanceEngineeringSoftware EngineeringSource Code AnalysisSoftware Analysis	2013	378
Symbolic execution for software testing in practice Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Software MaintenanceEngineeringVerificationTest Data GenerationSoftware Engineering	2011	325
Korat Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov Automated TestingEngineeringAutomated ReasoningProgram AnalysisSoftware Testing	2002	292
TestEra: a novel framework for automated testing of Java programs Darko Marinov, Sarfraz Khurshid Software MaintenanceEngineeringVerificationTest Data GenerationSoftware Engineering	2005	257
Using Frankencerts for Automated Adversarial Testing of Certificate Validation in SSL/TLS Implementations Chad Brubaker, Suman Jana, Baishakhi Ray, EngineeringInformation SecurityVerificationRobustness TestingFormal Verification	2014	204
TestEra: Specification-Based Testing of Java Programs Using SAT Sarfraz Khurshid, Darko Marinov Automated Software Engineering EngineeringProgram AnalysisSoftware TestingTest OracleFormal Methods	2004	183
Directed incremental symbolic execution Suzette Person, Guowei Yang, Neha Rungta, ACM SIGPLAN Notices Software MaintenanceEngineeringVerificationSoftware EngineeringSource Code Analysis	2011	174

Page 1