Jian Zhang, Chen Xu, Shing-Chi Cheung: Automatic Generation of Database Instances for White-box Testing. COMPSAC 2001: 161-165