Tilly, K. et al. 1992. AUTOMATIC TEST GENERATION BASED ON CONSTRAINTS Periodica Polytechnica Electrical Engineering. 36, 3-4 (Jan. 1992), 319–335.