| Korat: Automated testing based on Java predicates C Boyapati, S Khurshid, D Marinov ACM SIGSOFT Software Engineering Notes 27 (4), 123-133, 2002 | 942 | 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 | 815 | 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 | 725 | 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 | 677 | 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 | 516 | 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 | 499 | 2013 |
| TestEra: A novel framework for automated testing of Java programs D Marinov, S Khurshid Proceedings 16th Annual International Conference on Automated Software …, 2001 | 370 | 2001 |
| Directed incremental symbolic execution S Person, G Yang, N Rungta, S Khurshid Acm Sigplan Notices 46 (6), 504-515, 2011 | 293 | 2011 |
| TestEra: Specification-based testing of Java programs using SAT S Khurshid, D Marinov Automated Software Engineering 11, 403-434, 2004 | 248 | 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 | 235 | 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 | 210 | 2010 |
| 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 | 173 | 2018 |
| Exploring very large state spaces using genetic algorithms P Godefroid, S Khurshid International Conference on Tools and Algorithms for the Construction and …, 2002 | 168 | 2002 |
| Reducing combinatorics in testing product lines CHP Kim, DS Batory, S Khurshid Proceedings of the tenth international conference on Aspect-oriented …, 2011 | 160 | 2011 |
| 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 | 158 | 2015 |
| 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 |
| Specification-based program repair using SAT D Gopinath, MZ Malik, S Khurshid Tools and Algorithms for the Construction and Analysis of Systems: 17th …, 2011 | 155 | 2011 |
| 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 | 148 | 2017 |
| 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 | 142 | 2005 |
| Localizing failure-inducing program edits based on spectrum information L Zhang, M Kim, S Khurshid 2011 27th IEEE International Conference on Software Maintenance (ICSM), 23-32, 2011 | 138 | 2011 |
Darko MarinovUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu
