HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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
Copyright © 2012-2025 easychair.org. All rights reserved.