Tilly, K., Román, G., Surján, L. “AUTOMATIC TEST GENERATION BASED ON CONSTRAINTS ”, Periodica Polytechnica Electrical Engineering, 36(3-4), pp. 319–335, 1992.