Bomba, László (2002) Automatikus teszteset generálás állapot-diagramok alapján. BA/Bsc, Szegedi Tudományegyetem.