2 papers
cs.CR2024
FuSeBMC AI: Acceleration of Hybrid Approach through Machine Learning
Kaled M. Alshmrany, Mohannad Aldughaim, Chenfeng Wei +3
We present FuSeBMC-AI, a test generation tool grounded in machine learning techniques. FuSeBMC-AI extracts various features from the program and employs support vector machine and…
cs.CR2021
FuSeBMC v.4: Smart Seed Generation for Hybrid Fuzzing
Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat +1
FuSeBMC is a test generator for finding security vulnerabilities in C programs. In earlier work [4], we described a previous version that incrementally injected labels to guide Bou…