Youcheng Sun

ESBMC-Python ayuda a verificar la corrección del código Python usando anotaciones de tipo y verificación de modelo acotado.

Un nuevo método mejora las pruebas de DNN al combinar la selección de características con la priorización basada en la incertidumbre.

Aprende cómo funcionan los clasificadores de imágenes y por qué sus decisiones son importantes.

Un nuevo marco de pruebas de fuzz mejora la seguridad y eficiencia de los drones.