Shadi Khalek
Title
Cited by
Cited by
Year
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
852008
Automated SQL query generation for systematic testing of database engines
S Abdul Khalek, S Khurshid
Proceedings of the IEEE/ACM international conference on Automated software …, 2010
442010
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
372011
Systematic testing of database engines using a relational constraint solver
SA Khalek, S Khurshid
2011 Fourth IEEE International Conference on Software Testing, Verification …, 2011
262011
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
122014
Efficiently running test suites using abstract undo operations
SA Khalek, S Khurshid
2011 IEEE 22nd International Symposium on Software Reliability Engineering …, 2011
102011
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
52011
Systematic testing using test summaries: Effective and efficient testing of relational applications
SA Khalek
The University of Texas at Austin, 2011
42011
Representing spatial relationships of elements on a user interface
YR Shadi Khalek, Camilo Arango Moreno
US Patent 9,244,597, 2016
32016
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, ...
The system can't perform the operation now. Try again later.
Articles 1–11