Evaluace efektivity detekce chyb v implementaci stínících krytů - Štrajtová, Eliška (2025)