K. Tilly, G. Román, and L. Surján, “AUTOMATIC TEST GENERATION BASED ON CONSTRAINTS ”, Period. Polytech. Elec. Eng., vol. 36, no. 3-4, pp. 319–335, Jan. 1992.