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