FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs

von Alshmrany, Kaled M.
Veröffentlicht in TAP (15. : 2021 : Online) Tests and Proofs (2021)

FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing: and (Competition Contribution)

von Alshmrany, Kaled M.
Veröffentlicht in FASE (25. : 2022 : München) Fundamental approaches to software engineering (2022)

FuSeBMC_IA: Interval Analysis and Methods for Test Case Generation (Competition Contribution)

von Aldughaim, Mohannad
Veröffentlicht in FASE (26. : 2023 : Paris) Fundamental approaches to software engineering (2023)