C Path Finder
v1.0.1
Un generador de casos de prueba de unidad automática para el código fuente C utilizando ejecución simbólica memorizada y solucionador Z3