research
∙
06/28/2022
FuSeBMC v4: Improving code coverage with smart seeds via fuzzing and static analysis
Bounded model checking (BMC) and fuzzing techniques are among the most e...
share
research
∙
12/20/2021
FuSeBMC v.4: Smart Seed Generation for Hybrid Fuzzing
FuSeBMC is a test generator for finding security vulnerabilities in C pr...
research
∙
12/21/2020
