Youcheng Sun

ESBMC-Python aide à vérifier la correctitude du code Python en utilisant des annotations de type et un modèle de vérification bornée.

Une nouvelle méthode améliore le test des DNN en combinant la sélection de caractéristiques avec une priorisation basée sur l'incertitude.

Apprends comment fonctionnent les classificateurs d'images et pourquoi leurs décisions sont importantes.

Un nouveau cadre de test de fuzz améliore la sécurité et l'efficacité des drones.