B. Benyó, “NEW ALGORITHM FOR BEHAVIOURAL TEST GENERATION”, Period. Polytech. Elec. Eng., vol. 42, no. 3, pp. 311–335, Jan. 1998.