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
9362002
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
8012003
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
7142004
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
6122018
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
5022011
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
4762013
TestEra: A novel framework for automated testing of Java programs
D Marinov, S Khurshid
Proceedings 16th Annual International Conference on Automated Software …, 2001
3632001
Directed incremental symbolic execution
S Person, G Yang, N Rungta, S Khurshid
Acm Sigplan Notices 46 (6), 504-515, 2011
2882011
TestEra: Specification-based testing of Java programs using SAT
S Khurshid, D Marinov
Automated Software Engineering 11, 403-434, 2004
2462004
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
2122014
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
2062010
Exploring very large state spaces using genetic algorithms
P Godefroid, S Khurshid
International Conference on Tools and Algorithms for the Construction and …, 2002
1682002
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
1572018
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
1562015
Is the Java type system sound?
S Drossopoulou, S Eisenbach, S Khurshid
Theory and practice of object systems 5 (1), 3-24, 1999
1551999
Reducing combinatorics in testing product lines
CHP Kim, DS Batory, S Khurshid
Proceedings of the tenth international conference on Aspect-oriented …, 2011
1542011
Specification-based program repair using SAT
D Gopinath, MZ Malik, S Khurshid
Tools and Algorithms for the Construction and Analysis of Systems: 17th …, 2011
1502011
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
1382005
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
1372017
Memoized symbolic execution
G Yang, CS Păsăreanu, S Khurshid
Proceedings of the 2012 International Symposium on Software Testing and …, 2012
1312012
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20