Seguir
Sarfraz Khurshid
Título
Citado por
Citado por
Año
Korat: Automated testing based on Java predicates
C Boyapati, S Khurshid, D Marinov
ACM SIGSOFT Software Engineering Notes 27 (4), 123-133, 2002
9472002
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
8192003
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
7302004
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
7052018
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
5202011
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
5112013
TestEra: A novel framework for automated testing of Java programs
D Marinov, S Khurshid
Proceedings 16th Annual International Conference on Automated Software …, 2001
3742001
Directed incremental symbolic execution
S Person, G Yang, N Rungta, S Khurshid
Acm Sigplan Notices 46 (6), 504-515, 2011
2962011
TestEra: Specification-based testing of Java programs using SAT
S Khurshid, D Marinov
Automated Software Engineering 11, 403-434, 2004
2502004
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
2392014
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
2122010
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
1782018
Exploring very large state spaces using genetic algorithms
P Godefroid, S Khurshid
International Conference on Tools and Algorithms for the Construction and …, 2002
1682002
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
1642015
Reducing combinatorics in testing product lines
CHP Kim, DS Batory, S Khurshid
Proceedings of the tenth international conference on Aspect-oriented …, 2011
1612011
Specification-based program repair using SAT
D Gopinath, MZ Malik, S Khurshid
Tools and Algorithms for the Construction and Analysis of Systems: 17th …, 2011
1602011
Is the Java type system sound?
S Drossopoulou, S Eisenbach, S Khurshid
Theory and practice of object systems 5 (1), 3-24, 1999
1571999
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
1532017
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
1422005
Memoized symbolic execution
G Yang, CS Păsăreanu, S Khurshid
Proceedings of the 2012 International Symposium on Software Testing and …, 2012
1402012
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20