Safeguard Analyzer: A Fuzz Testing Tool - Nuno Miguel Costa Nascimento (2024)