Gail Kaiser

Une nouvelle méthode pour entraîner des modèles de code en se concentrant sur la sémantique et le comportement d'exécution.

Utiliser des grands modèles de langage pour détecter les faiblesses du logiciel.