Articles with public access mandates - Sarfraz KhurshidLearn more
Not available anywhere: 10
Using test ranges to improve symbolic execution
R Qiu, S Khurshid, CS Păsăreanu, J Wen, G Yang
NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News …, 2018
Mandates: US National Science Foundation
Parallel chopped symbolic execution
S Singh, S Khurshid
Formal Methods and Software Engineering: 22nd International Conference on …, 2020
Mandates: US National Science Foundation
Korat-API: A framework to enhance Korat to better support testing and reliability techniques
N Dini, C Yelen, Z Alrmaih, A Kulkarni, S Khurshid
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 1934-1943, 2018
Mandates: US National Science Foundation
A sketching-based approach for debugging using test cases
J Hua, S Khurshid
Automated Technology for Verification and Analysis: 14th International …, 2016
Mandates: US National Science Foundation
A synergistic approach to improving symbolic execution using test ranges
G Yang, R Qiu, S Khurshid, CS Păsăreanu, J Wen
Innovations in Systems and Software Engineering 15, 325-342, 2019
Mandates: US National Science Foundation
A synergistic approach for distributed symbolic execution using test ranges
R Qiu, S Khurshid, CS Pasareanu, G Yang
2017 IEEE/ACM 39th International Conference on Software Engineering …, 2017
Mandates: US National Science Foundation
Certified symbolic execution
R Qiu, CS Păsăreanu, S Khurshid
Automated Technology for Verification and Analysis: 14th International …, 2016
Mandates: US National Science Foundation
The comKorat Tool: Unified Combinatorial and Constraint-Based Generation of Structurally Complex Tests
H Zhong, L Zhang, S Khurshid
NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN …, 2016
Mandates: US National Science Foundation
Learning guided enumerative synthesis for superoptimization
S Singh, M Zhang, S Khurshid
Model Checking Software: 26th International Symposium, SPIN 2019, Beijing …, 2019
Mandates: US National Science Foundation
Towards Exhaustive Testing of Websites using JPF
S Nagarajan, N Shafiei, S Khurshid
ACM SIGSOFT Software Engineering Notes 41 (6), 1-5, 2017
Mandates: US National Science Foundation
Available somewhere: 63
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
Mandates: US National Science Foundation
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
Mandates: US National Institutes of Health
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
Mandates: US National Science Foundation
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
Mandates: US National Science Foundation
An empirical study of boosting spectrum-based fault localization via pagerank
M Zhang, Y Li, X Li, L Chen, Y Zhang, L Zhang, S Khurshid
IEEE Transactions on Software Engineering 47 (6), 1089-1113, 2019
Mandates: US National Science Foundation
CRN++: Molecular programming language
M Vasić, D Soloveichik, S Khurshid
Natural Computing 19 (2), 391-407, 2020
Mandates: US National Science Foundation
Effectiveness of anonymization in double-blind review
CL Goues, Y Brun, S Apel, E Berger, S Khurshid, Y Smaragdakis
Communications of the ACM 61 (6), 30-33, 2018
Mandates: US National Science Foundation, German Research Foundation
Automated test generation and mutation testing for Alloy
A Sullivan, K Wang, RN Zaeem, S Khurshid
2017 IEEE International Conference on Software Testing, Verification and …, 2017
Mandates: US National Science Foundation
Sketchfix: a tool for automated program repair approach using lazy candidate generation
J Hua, M Zhang, K Wang, S Khurshid
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
Mandates: US National Science Foundation
Automated model repair for Alloy
K Wang, A Sullivan, S Khurshid
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
Mandates: US National Science Foundation
Publication and funding information is determined automatically by a computer program