| Original language | English |
|---|---|
| DOIs | |
| Publication status | Published - 2021 |
FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs
Kaled Alshmrany, Rafael Menezes, Mikhail R Gadelha, Lucas Cordeiro
Research output: Contribution to conference › Paper › peer-review