Test Data Generation for Complex Data Types Using Imprecise Model Constraints and Constraint Solving Techniques.
Sarunas PackeviciusGreta KrivickaiteDominykas BarisasRobertas JasaitisTomas BlazauskasEvaldas GuogisPublished in: Inf. Technol. Control. (2013)