Concepedia

Shadi Abdul Khalek

SA

Statistics

Publications

6

Citations

195

H-Index

6

Active since

2008

Affiliations

The University of Texas at Austin(Current)

Shadi Abdul Khalek is an author at The University of Texas at Austin specializing in test suite generation, computing, and automated test generation.

Publications per year

2008–2014

6

Publications

6

Query-Aware Test Generation Using a Relational Constraint Solver

Shadi Abdul Khalek, Bassem Elkarablieh, Yai O. Laleye et al. · 2008 · 77 citations

, , +16

Automated SQL query generation for systematic testing of database engines

Shadi Abdul Khalek, Sarfraz Khurshid · 2010 · 44 citations

, , +16

TestEra: A tool for testing Java programs using alloy specifications

Shadi Abdul Khalek, Guowei Yang, Lingming Zhang et al. · 2011 · 31 citations

, , +14

Systematic Testing of Database Engines Using a Relational Constraint Solver

Shadi Abdul Khalek, Sarfraz Khurshid · 2011 · 17 citations

, , +16

Bounded exhaustive test input generation from hybrid invariants

Nicolás Rosner, Valeria Bengolea, Pablo Ponzio et al. · 2014 · 16 citations

, , +14

1–5 of 6