1 result found Sort:

kaled-alshmrany
FuSeBMC kaled-alshmrany
6
44
mit
6
FuSeBMC is a novel Energy-Efficient Test Generator that exploits fuzzing and BMC engines to detect security vulnerabilities in real-world C programs.
tracer fuzzing smart-seeds selective-fuzzer bounded-model-checking
Created 2020-04-22
335 commits to master branch, last one 5 months ago