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.

翻译：我们提出FuSeBMC-AI，一款基于机器学习技术的测试生成工具。该工具从程序中提取多种特征，并采用支持向量机与神经网络模型预测混合方法的最优配置。FuSeBMC-AI将有界模型检测与模糊测试作为后端验证引擎。在特定场景下，FuSeBMC-AI不仅超越底层验证引擎的默认配置性能，同时显著降低资源消耗。