Generovanie testu pre softvérové moduly s využitím generátora testov pre hardvér - Bugár, Szabolcs (STU v Bratislave FEI, 2002)