Jingzhu He

Un nuevo método mejora la generación automática de pruebas al centrarse en los objetivos clave de cobertura.

C3 mejora la claridad de las entradas de pruebas automatizadas para entender mejor el código.