| Query-aware test generation using a relational constraint solver SA Khalek, B Elkarablieh, YO Laleye, S Khurshid 2008 23rd IEEE/ACM International Conference on Automated Software …, 2008 | 111 | 2008 |
| Automated SQL query generation for systematic testing of database engines S Abdul Khalek, S Khurshid Proceedings of the 25th IEEE/ACM International Conference on Automated …, 2010 | 72 | 2010 |
| Testera: A tool for testing java programs using alloy specifications SA Khalek, G Yang, L Zhang, D Marinov, S Khurshid 2011 26th IEEE/ACM International Conference on Automated Software …, 2011 | 52 | 2011 |
| Systematic testing of database engines using a relational constraint solver SA Khalek, S Khurshid 2011 Fourth IEEE International Conference on Software Testing, Verification …, 2011 | 26 | 2011 |
| Bounded exhaustive test input generation from hybrid invariants N Rosner, V Bengolea, P Ponzio, SA Khalek, N Aguirre, MF Frias, ... ACM SIGPLAN Notices 49 (10), 655-674, 2014 | 19 | 2014 |
| Efficiently running test suites using abstract undo operations SA Khalek, S Khurshid 2011 IEEE 22nd International Symposium on Software Reliability Engineering …, 2011 | 11 | 2011 |
| Mixed constraints for test input generation-an initial exploration SA Khalek, VP Narayanan, S Khurshid 2011 26th IEEE/ACM International Conference on Automated Software …, 2011 | 6 | 2011 |
| Systematic testing using test summaries: Effective and efficient testing of relational applications SA Khalek The University of Texas at Austin, 2011 | 4 | 2011 |
| Representing spatial relationships of elements on a user interface YR Shadi Khalek, Camilo Arango Moreno US Patent 9,244,597, 2016 | 3 | 2016 |
| Mixed Constraints: Declarative and Imperative Formulation and Solving of Structural Constraints SA Khalek, S Khurshid | | |
| Workshop Organization F Dadeau, M D'Amorim, G Fraser, A Gotlieb, S Khalek, D Marinov, ... | | |
