System for Automatic Bug Detection in Code and Programs Using LLMs and AI Agents. - Pawel Kapusta; Piotr Duch; Michal Majchrowicz; Adrian Królik (ICAISC (1), 2025)