Generovanie testov algoritmom Podem - X = A test-generation with PODEM algorithm : Dipl.práca - Gerhardt, Peter (STU v Bratislave FEI, 1998)