Benyó, Balázs. 1998. “NEW ALGORITHM FOR BEHAVIOURAL TEST GENERATION”. Periodica Polytechnica Electrical Engineering 42 (3):311-35.