Query-Aware Test Generation Using a Relational Constraint Solver. - Shadi Abdul Khalek; Bassem Elkarablieh; Yai O. Laleye; Sarfraz Khurshid (ASE, 2008)

Automated SQL query generation for systematic testing of database engines. - Shadi Abdul Khalek; Sarfraz Khurshid (ASE, 2010)

Systematic Testing of Database Engines Using a Relational Constraint Solver. - Shadi Abdul Khalek; Sarfraz Khurshid (ICST, 2011)

Efficiently Running Test Suites Using Abstract Undo Operations. - Shadi Abdul Khalek; Sarfraz Khurshid (ISSRE, 2011)

Mixed constraints for test input generation - An initial exploration. - Shadi Abdul Khalek; Vidya Priyadarshini Narayanan; Sarfraz Khurshid (ASE, 2011)

TestEra: A tool for testing Java programs using alloy specifications. - Shadi Abdul Khalek; Guowei Yang 001; Lingming Zhang 001; Darko Marinov; Sarfraz Khurshid (ASE, 2011)

Bounded exhaustive test input generation from hybrid invariants. - Nicolás Rosner; Valeria S. Bengolea; Pablo Ponzio; Shadi Abdul Khalek; Nazareno Aguirre; Marcelo F. Frias; Sarfraz Khurshid (OOPSLA, 2014)