Problematika testovania softvérových produktov : Bakalárska práca - Sedláček, Peter (STU v Bratislave MtF KAIA, 2006)