2 papers
cs.SE2024
FuSeBMC v4: Improving code coverage with smart seeds via BMC, fuzzing and static analysis
Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat +1
Bounded model checking (BMC) and fuzzing techniques are among the most effective methods for detecting errors and security vulnerabilities in software. However, there are still sho…
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…