Tilly K, Román G, Surján L. AUTOMATIC TEST GENERATION BASED ON CONSTRAINTS Period. Polytech. Elec. Eng. [Internet]. 1992 Jan. 1 [cited 2024 Dec. 25];36(3-4):319-35. Available from: https://pp.bme.hu/ee/article/view/4530