activity
20202024
most citedIncremental Symbolic Bounded Model Checking of Software Using Interval Methods via Contractors

4 citations · 7 across the 6 of their papers we have counts for

collaborators
Showing 2024Show all

1 paper · 1 filter

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…