Published April 16, 2021
| Version v2
Conference paper
Open
FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs
Authors/Creators
Description
FuSeBMC Files