Sarfraz Khurshid
- Software top 0.02%
- Software Testing and Debugging Techniques 149
- Software Reliability and Analysis Research 98
- Information Systems top 0.1%
- Software Engineering Research 93
- Signal Processing top 0.5%
- Advanced Malware Detection Techniques 19
- Hardware and Architecture top 2%
- Computational Theory and Mathematics top 0.5%
- Formal Methods in Verification 45
-
- Software System Performance and Reliability 22
-
- Advanced Software Engineering Methodologies 21
- Logic, programming, and type systems 15
- Co-authors
- Darko MarinovLingming ZhangChandrasekhar BoyapatiCorina S. PăsăreanuWillem VisserMengshi ZhangDewayne E. PerryRipon K. Saha
- Journals
- Proceedings of the National Academy of Sciences (1 paper)IEEE Transactions on Software Engineering (4 papers)Theoretical Computer Science (1 paper)
- Partner nations
- United StatesChinaUnited Kingdom
In The Last Decade
Sarfraz Khurshid
183 papers receiving 5.4k citations
Hit Papers
Peers
Comparison fields: 5 of 84
- Software 4.5k
- Information Systems 3.2k
- Signal Processing 811
- Hardware and Architecture 351
- Computational Theory and Mathematics 782
Countries citing papers authored by Sarfraz Khurshid
This map shows the geographic impact of Sarfraz Khurshid's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Sarfraz Khurshid with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Sarfraz Khurshid more than expected).
Fields of papers citing papers by Sarfraz Khurshid
This network shows the impact of papers produced by Sarfraz Khurshid. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Sarfraz Khurshid. The network helps show where Sarfraz Khurshid may publish in the future.
Co-authorship network
The 25 scholars most cited alongside Sarfraz Khurshid, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
| # | Work | ||
|---|---|---|---|
| 1 | 2020 | 5 | |
| 2 | Natural Language Processing and Program Analysis for Supporting Todo Comments as Software Evolves. | 2018 | 8 |
| 3 | Bounded Exhaustive Test-Input Generation on GPUs | 2017 | 1 |
| 4 | 2017 | 11 | |
| 5 | 2017 | 94 | |
| 6 | 2016 | 9 | |
| 7 | 2013 | 6 | |
| 8 | 2013 | 3 | |
| 9 | 2013 | 10 | |
| 10 | Localization of faults in software programs using Bernoulli divergences | 2012 | 2 |
| 11 | 2011 | 87 | |
| 12 | 2010 | 9 | |
| 13 | 2009 | 4 | |
| 14 | 2008 | 3 | |
| 15 | 2008 | 33 | |
| 16 | 2007 | 7 | |
| 17 | 2007 | 10 | |
| 18 | 2007 | 31 | |
| 19 | Integrating model checking and theorem proving for relational reasoning | 2004 | 2 |
| 20 | 2004 | 56 |
About Sarfraz Khurshid
Sarfraz Khurshid is a scholar working on Software, Information Systems and Computational Theory and Mathematics, having authored 186 papers that have together received 5.7k indexed citations. Recurring topics across this work include Software Testing and Debugging Techniques (149 papers), Software Reliability and Analysis Research (98 papers), Software Engineering Research (93 papers), Formal Methods in Verification (45 papers), Software System Performance and Reliability (22 papers), Advanced Software Engineering Methodologies (21 papers), Advanced Malware Detection Techniques (19 papers) and Logic, programming, and type systems (15 papers). The work is most often cited by research in Software (4.5k citations), Information Systems (3.2k citations) and Signal Processing (811 citations). Sarfraz Khurshid has collaborated with scholars based in United States, China and United Kingdom. Frequent co-authors include Darko Marinov, Lingming Zhang, Chandrasekhar Boyapati, Corina S. Păsăreanu, Willem Visser, Mengshi Zhang, Dewayne E. Perry, Ripon K. Saha, Guowei Yang and Yuqun Zhang. Their work appears in journals such as Proceedings of the National Academy of Sciences, IEEE Transactions on Software Engineering and Theoretical Computer Science.
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.