Test Data Generation for Complex Data Types Using Imprecise Model Constraints and Constraint Solving Techniques. - Sarunas Packevicius; Greta Krivickaite; Dominykas Barisas; Robertas Jasaitis; Tomas Blazauskas; Evaldas Guogis (Inf. Technol. Control., 2013)