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