Test Data Generation for Web Applications: A Constraint and Knowledge-based Approach. - Hibiki Saito; Shingo Takada 001; Haruto Tanno; Morihide Oinuma (SEKE, 2014)