Youcheng Sun

ESBMC-Python hilft, die Korrektheit von Python-Code mithilfe von Typannotationen und begrenztem Modellchecking zu überprüfen.

Eine neue Methode verbessert das Testen von DNNs, indem sie Merkmalsauswahl mit unsicherheitsbasierter Priorisierung kombiniert.

Lern, wie Bildklassifizierer funktionieren und warum ihre Entscheidungen wichtig sind.

Ein neues Fuzz-Testframework steigert die Sicherheit und Effizienz von Drohnen.