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 conferencePaperpeer-review

Original languageEnglish
DOIs
Publication statusPublished - 2021

Cite this