Zhenyu Chen

MaxLin mejora la precisión y eficiencia de verificación de CNN para aplicaciones de IA más seguras.

Descubre cómo TestART mejora la generación automática de pruebas unitarias.

Un nuevo marco combina búsqueda de código, generación y reparación para una programación eficiente.

zsLLMCode crea representaciones de código útiles de manera eficiente usando IA.

Este artículo evalúa qué tan bien los LLMs generan casos de prueba para programas en Java.

Descubre cómo los LLMs transforman las pruebas unitarias para los desarrolladores.