TILLY, K.; ROMÁN, Gy.; SURJÁN, L. AUTOMATIC TEST GENERATION BASED ON CONSTRAINTS Periodica Polytechnica Electrical Engineering, [S. l.], v. 36, n. 3-4, p. 319–335, 1992. Disponível em: https://pp.bme.hu/ee/article/view/4530. Acesso em: 9 apr. 2025.