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 | 73 | 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 | 12 | 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, ... | | |