TY  - RPRT
TI  - FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs
AU  - Kaled M. Alshmrany
AU  - Rafael S. Menezes
AU  - Mikhail R. Gadelha
AU  - Lucas C. Cordeiro
PY  - 2020
UR  - https://arxiv.org/abs/2012.11223
ID  - 2012.11223
ER  -