Sarfraz Khurshid

Citirano

	Sve	Od 2020.
Citati	13763	4887
H-indeks	60	36
i10-indeks	174	108

1000

500

250

750

20022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202548 104 150 220 197 306 349 359 444 437 560 571 703 762 699 721 926 993 949 961 932 985 913 145

Javni pristup

Prikaži sve

65 članaka

10 članaka

dostupno

nije dostupno

Na temelju uvjeta financiranja

Suautori

Darko MarinovUniversity of Illinois at Urbana-ChampaignPotvrđena adresa e-pošte na illinois.edu
Corina PasareanuCMU/NASA AmesPotvrđena adresa e-pošte na nasa.gov
Lingming ZhangUniversity of Illinois at Urbana-ChampaignPotvrđena adresa e-pošte na illinois.edu
Kaiyuan WangStaff Software Engineer, GooglePotvrđena adresa e-pošte na google.com
Milos GligoricThe University of Texas at AustinPotvrđena adresa e-pošte na utexas.edu
Guowei YangThe University of QueenslandPotvrđena adresa e-pošte na uq.edu.au
Willem VisserComputer Science Division, Stellenbosch UniversityPotvrđena adresa e-pošte na cs.sun.ac.za
Don BatoryUniversity of Texas at AustinPotvrđena adresa e-pošte na cs.utexas.edu
Divya GopinathNASA Ames, KBR Inc.Potvrđena adresa e-pošte na nasa.gov
Ripon K. SahaMeta/FacebookPotvrđena adresa e-pošte na utexas.edu
Allison SullivanAssistant Professor of Computer Science, The University of Texas at ArlingtonPotvrđena adresa e-pošte na uta.edu
Razieh Nokhbeh ZaeemSenior Software Engineer, GooglePotvrđena adresa e-pošte na utexas.edu
Koushik SenProfessor of Computer Science, University of California, BerkeleyPotvrđena adresa e-pošte na cs.berkeley.edu
Daniel JacksonMITPotvrđena adresa e-pošte na mit.edu
Muhammad Zubair MalikResearch Scientist at CMUPotvrđena adresa e-pošte na andrew.cmu.edu
Chang Hwan Peter KimPostdoc, University of OxfordPotvrđena adresa e-pošte na cs.ox.ac.uk
Shadi KhalekUniversity of Texas at AustinPotvrđena adresa e-pošte na mail.utexas.edu
Sasa MisailovicUniversity of Illinois at Urbana–ChampaignPotvrđena adresa e-pošte na illinois.edu

Prati

Sarfraz Khurshid

Professor, University of Texas at Austin

Potvrđena adresa e-pošte na ece.utexas.edu - Početna stranica

software testing and verification debugging error recovery specification languages


Naslov Poredaj po navodima Poredaj po godini Poredaj po naslovu	Citirano Citirano	Godina
Korat: Automated testing based on Java predicates C Boyapati, S Khurshid, D Marinov ACM SIGSOFT Software Engineering Notes 27 (4), 123-133, 2002	947	2002
Generalized symbolic execution for model checking and testing S Khurshid, CS Păsăreanu, W Visser International Conference on Tools and Algorithms for the Construction and …, 2003	816	2003
Deeproad: Gan-based metamorphic testing and input validation framework for autonomous driving systems M Zhang, Y Zhang, L Zhang, C Liu, S Khurshid Proceedings of the 33rd ACM/IEEE international conference on automated …, 2018	749	2018
Test input generation with Java PathFinder W Visser, CS Pǎsǎreanu, S Khurshid Proceedings of the 2004 ACM SIGSOFT international symposium on Software …, 2004	731	2004
Symbolic execution for software testing in practice: preliminary assessment C Cadar, P Godefroid, S Khurshid, CS Păsăreanu, K Sen, N Tillmann, ... Proceedings of the 33rd International Conference on Software Engineering …, 2011	524	2011
Improving bug localization using structured information retrieval RK Saha, M Lease, S Khurshid, DE Perry 2013 28th IEEE/ACM International Conference on Automated Software …, 2013	511	2013
TestEra: A novel framework for automated testing of Java programs D Marinov, S Khurshid Proceedings 16th Annual International Conference on Automated Software …, 2001	375	2001
Directed incremental symbolic execution S Person, G Yang, N Rungta, S Khurshid Acm Sigplan Notices 46 (6), 504-515, 2011	299	2011
TestEra: Specification-based testing of Java programs using SAT S Khurshid, D Marinov Automated Software Engineering 11, 403-434, 2004	247	2004
Using frankencerts for automated adversarial testing of certificate validation in SSL/TLS implementations C Brubaker, S Jana, B Ray, S Khurshid, V Shmatikov 2014 IEEE Symposium on Security and Privacy, 114-129, 2014	242	2014
Test generation through programming in UDITA M Gligoric, T Gvero, V Jagannath, S Khurshid, V Kuncak, D Marinov Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010	216	2010
Towards practical program repair with on-demand candidate generation J Hua, M Zhang, K Wang, S Khurshid Proceedings of the 40th international conference on software engineering, 12-23, 2018	173	2018
An information retrieval approach for regression test prioritization based on program changes RK Saha, L Zhang, S Khurshid, DE Perry 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015	170	2015
Exploring very large state spaces using genetic algorithms P Godefroid, S Khurshid International Conference on Tools and Algorithms for the Construction and …, 2002	170	2002
Reducing combinatorics in testing product lines CHP Kim, DS Batory, S Khurshid Proceedings of the tenth international conference on Aspect-oriented …, 2011	162	2011
Specification-based program repair using SAT D Gopinath, MZ Malik, S Khurshid International Conference on Tools and Algorithms for the Construction and …, 2011	160	2011
Boosting spectrum-based fault localization using pagerank M Zhang, X Li, L Zhang, S Khurshid Proceedings of the 26th ACM SIGSOFT international symposium on software …, 2017	155	2017
Is the Java type system sound? S Drossopoulou, S Eisenbach, S Khurshid Theory and practice of object systems 5 (1), 3-24, 1999	154	1999
Combining test case generation and runtime verification C Artho, H Barringer, A Goldberg, K Havelund, S Khurshid, M Lowry, ... Theoretical Computer Science 336 (2-3), 209-234, 2005	141	2005
Memoized symbolic execution G Yang, CS Păsăreanu, S Khurshid Proceedings of the 2012 International Symposium on Software Testing and …, 2012	140	2012

Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.

Članci 1–20

Godišnji broj citata

Dvostruki navodi

Spojeni navodi

Dodavanje suautoraSuautori

Prati

Citirano

Suautori