Vladimír Marík, Lubos Kral, Radek Marík: Software Testing & Diagnostics: Theory & Practice. SOFSEM 2000: 88-114