FuSeBMC AI：通过机器学习加速混合方法
密码学与安全
2024-04-10 v1
摘要
我们提出了 FuSeBMC-AI，一个基于机器学习技术的测试生成工具。FuSeBMC-AI 从程序中提取各种特征，并采用支持向量机和神经网络模型来预测混合方法的最佳配置。FuSeBMC-AI 利用 Bounded Model Checking 和 Fuzzing 作为后端验证引擎。在某些情况下，FuSeBMC-AI 优于底层验证引擎的默认配置，同时降低了资源消耗。
引用
@article{arxiv.2404.06031,
title = {FuSeBMC AI: Acceleration of Hybrid Approach through Machine Learning},
author = {Kaled M. Alshmrany and Mohannad Aldughaim and Chenfeng Wei and Tom Sweet and Richard Allmendinger and Lucas C. Cordeiro},
journal= {arXiv preprint arXiv:2404.06031},
year = {2024}
}