Nagy, Z. and Sziray, J. 1991. THE USE OF A FUNCTIONAL DESCRIPTION LANGUAGE FOR TEST GENERATION Periodica Polytechnica Electrical Engineering. 35, 4 (Jan. 1991), 263–272.