Sarfraz Khurshid

Citirano

	Sve	Od 2018.
Citati	12384	5503
H-indeks	56	38
i10-indeks	162	115

1000

500

250

750

200220032004200520062007200820092010201120122013201420152016201720182019202020212022202342 103 151 217 204 297 348 355 405 429 552 575 704 758 698 721 928 1000 973 977 908 710

Javni pristup

Prikaži sve

61 članak

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 WangSoftware 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
Willem VisserComputer Science Division, Stellenbosch UniversityPotvrđena adresa e-pošte na cs.sun.ac.za
Guowei YangThe University of QueenslandPotvrđena adresa e-pošte na uq.edu.au
Don BatoryUniversity of Texas at AustinPotvrđena adresa e-pošte na cs.utexas.edu
Ripon K. SahaMeta/FacebookPotvrđena adresa e-pošte na utexas.edu
Razieh Nokhbeh ZaeemSenior Software Engineer, GooglePotvrđ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
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
Divya GopinathNASA Ames, KBR Inc.

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	918	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	786	2003
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	695	2004
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	546	2018
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	487	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	456	2013
TestEra: A novel framework for automated testing of Java programs D Marinov, S Khurshid Proceedings 16th Annual International Conference on Automated Software …, 2001	351	2001
Directed incremental symbolic execution S Person, G Yang, N Rungta, S Khurshid Acm Sigplan Notices 46 (6), 504-515, 2011	282	2011
TestEra: Specification-based testing of Java programs using SAT S Khurshid, D Marinov Automated Software Engineering 11, 403-434, 2004	234	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	201	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	199	2010
Exploring very large state spaces using genetic algorithms P Godefroid, S Khurshid International Conference on Tools and Algorithms for the Construction and …, 2002	160	2002
Is the Java type system sound? S Drossopoulou, S Eisenbach, S Khurshid Theory and practice of object systems 5 (1), 3-24, 1999	157	1999
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	154	2015
Reducing combinatorics in testing product lines CHP Kim, DS Batory, S Khurshid Proceedings of the tenth international conference on Aspect-oriented …, 2011	154	2011
Specification-based program repair using SAT D Gopinath, MZ Malik, S Khurshid Tools and Algorithms for the Construction and Analysis of Systems: 17th …, 2011	147	2011
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	139	2018
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	137	2005
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	128	2017
Memoized symbolic execution G Yang, CS Păsăreanu, S Khurshid Proceedings of the 2012 International Symposium on Software Testing and …, 2012	128	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