Khashayar Etemadi

Un nouvel outil réduit les dépenses dans la correction automatique des bugs tout en gardant son efficacité.

Les grands modèles de langage améliorent les tests différentiels dans le développement logiciel.

Un nouvel outil associe les LLM et la vérification formelle pour créer du code plus sûr.