FuSeBMC-AI: Eine KI-basierte Beschleunigung des hybriden Ansatzes zur Softwareverifikation
FuSeBMC-AI verwendet Maschinelles Lernen, um die optimale Konfiguration des hybriden Softwareverifikationstools FuSeBMC vorherzusagen, um die Effizienz und Ressourcennutzung zu verbessern.