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