AIセキュリティポータル K Program
FuSeBMC AI: Acceleration of Hybrid Approach through Machine Learning
Share
Abstract
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 neural network models to predict a hybrid approach optimal configuration. FuSeBMC-AI utilizes Bounded Model Checking and Fuzzing as back-end verification engines. FuSeBMC-AI outperforms the default configuration of the underlying verification engine in certain cases while concurrently diminishing resource consumption.
Towards a Definition of Complex Software System
B. Rossi, T. Pitner
Published: 2023
FuSeBMC: An energy-efficient test generator for finding security vulnerabilities in C programs
K. Alshmrany, M. Aldughaim, A. Bhayat, L. Cordeiro
Published: 2021
FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing
K. Alshmrany, M. Aldughaim, A. Bhayat, L. Cordeiro
Published: 2022
Software testing: 5th comparative evaluation: Test-Comp 2023
Dirk Beyer
Published: 2023
Induction of Decision Trees
J. R. Quinlan
Published: 1986
Support-vector networks
C. Cortes, V. Vapnik
Published: 1995
Learning representations by back-propagating errors
D. E. Rumelhart, G. E. Hinton, R. J. Williams
Published: 1986
Scikit-learn: Machine learning in python
F. Pedregosa, G. Varoquaux, A. Gramfort, V. Michel, B. Thirion, O. Grisel, M. Blondel, P. Prettenhofer, R. Weiss, V. Dubourg
Published: 2011
Share