FuSeBMC-AI verwendet Maschinelles Lernen, um die optimale Konfiguration des hybriden Softwareverifikationstools FuSeBMC vorherzusagen, um die Effizienz und Ressourcennutzung zu verbessern.
