TY  - RPRT
TI  - FuSeBMC v4: Improving code coverage with smart seeds via BMC, fuzzing and static analysis
AU  - Kaled M. Alshmrany
AU  - Mohannad Aldughaim
AU  - Ahmed Bhayat
AU  - Lucas C. Cordeiro
PY  - 2024
UR  - https://arxiv.org/abs/2206.14068
ID  - 2206.14068
ER  -