Shadi Abdul Khalek Bassem Elkarablieh Yai O. Laleye Sarfraz Khurshid Query-Aware Test Generation Using a Relational Constraint Solver. 238-247 2008 ASE http://dx.doi.org/10.1109/ASE.2008.34 conf/kbse/2008 db/conf/kbse/ase2008.html#KhalekELK08