Investigadores Desarrollan Técnica para Prevenir Errores de Software
Investigadores Desarrollan Técnica para Prevenir Errores de Software
12 January 2024
Un equipo de informáticos ha desarrollado un método llamado Baldur, que utiliza inteligencia artificial para generar pruebas automáticamente y verificar la corrección del software, con el objetivo de reducir los errores y vulnerabilidades del software.