FuSeBMC-AI: An AI-Powered Hybrid Approach for Efficient Test Generation and Program Verification

FuSeBMC-AI employs machine learning techniques, including support vector machines and neural networks, to predict optimal configurations for a hybrid approach combining fuzzing and bounded model checking, leading to improved code coverage and reduced resource consumption.