Keyword:Fuzzing

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