Detalle del financiamiento

Autores: Maximiliano Cristiá.

Descripción: Desarrollo de una herramienta para la automatización del testing de software basada en especificaciones formales, testing basado en modelos y resolución de restricciones conjuntistas.

Desde fecha: 41852

Hasta fecha: 43313

Monto: 480000

Moneda: Pesos

Tipo de financiamiento: Proyectos de I+D.

Campo disciplinar: 1 - CIENCIAS NATURALES Y EXACTAS / 1.2 - Ciencias de la Computación e Información / 1.2.1 - Ciencias de la Computación.

Campo de aplicación: Otros campos.

Especialidad: Testing de software.

Director: MAXIMILIANO CRISTIÁ.

Año: 2014.