機械学習を通じたハイブリッドアプローチの高速化: FuSeBMC-AI

FuSeBMC-AIは、機械学習モデルを使ってソフトウェアプログラムの最適な検証設定を予測し、ハイブリッド検証アプローチの効率を向上させる。