Automatizované vývojové prostredie s detekciou bezpečnostných zraniteľností - Köplinger, Michal (STU v Bratislave FEI, 2021)