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
8162003
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
7502018
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
7312004
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
5242011
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
5132013
TestEra: A novel framework for automated testing of Java programs
D Marinov, S Khurshid
Proceedings 16th Annual International Conference on Automated Software …, 2001
3762001
Directed incremental symbolic execution
S Person, G Yang, N Rungta, S Khurshid
Acm Sigplan Notices 46 (6), 504-515, 2011
2992011
TestEra: Specification-based testing of Java programs using SAT
S Khurshid, D Marinov
Automated Software Engineering 11, 403-434, 2004
2472004
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
2422014
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
2162010
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
1732018
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
1712015
Exploring very large state spaces using genetic algorithms
P Godefroid, S Khurshid
International Conference on Tools and Algorithms for the Construction and …, 2002
1702002
Reducing combinatorics in testing product lines
CHP Kim, DS Batory, S Khurshid
Proceedings of the tenth international conference on Aspect-oriented …, 2011
1622011
Specification-based program repair using SAT
D Gopinath, MZ Malik, S Khurshid
International Conference on Tools and Algorithms for the Construction and …, 2011
1602011
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
1552017
Is the Java type system sound?
S Drossopoulou, S Eisenbach, S Khurshid
Theory and practice of object systems 5 (1), 3-24, 1999
1541999
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
1412005
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