GitPlanet
Projects
Users
Categories
Languages
About
All Categories
→
No Category
→ smart-seeds
Top 1 smart-seeds open source projects
FuSeBMC
FuSeBMC is a novel Energy-Efficient Test Generator that exploits fuzzing and BMC engines to detect security vulnerabilities in real-world C programs.
✭ 26
c
C++
python
shell
Makefile
CMake
fuzzing
tracer
bounded-model-checking
smart-seeds
selective-fuzzer
1-1
of
1
smart-seeds projects