Keyword:Fuzzing

Papers
FuSeBMC: An Energy-Efficient Verifier for Finding Security Vulnerabilities in C Programs Kaled Alshmrany, Mohannad Aldughaim, Ahmed Bhayat and Lucas Cordeiro EasyChair Preprint no. 5128