HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Ahmed Bhayat

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

Keyphrases

automated test generation, Bounded Model Checking, Fuzzing, Security.

Copyright © 2012-2025 easychair.org. All rights reserved.