Explora I+D+i UPV

Volver atrás Proyecto

ARTIFICIAL INTELLINGENCE FOR THE AUTOMATED SYNTHESIS AND VALIDATION OF PROGRAMS

Institut Universitari Valencià d'investigació en Intel·ligència Artificial

Imprimir
Compartir
¿Quieres contarnos tu reto? Pincha aquí y te ayudamos a encontrar una solución
Año de inicio

2019

Organismo financiador

CONSELLERIA DE EDUCACION, INVESTIGACION, CULTURA Y DEPORTE

Tipo de proyecto

INV. COMPETITIVA PROYECTOS

Responsable científico

Jiménez Celorrio Sergio

Resumen

Más resultados en Institut Universitari Valencià d'investigació en Intel·ligència Artificial con la cadena de busqueda "Testeo de software"

  • Servicios de I+D

    Técnicas avanzadas de depuración de software

    Institut Universitari Valencià d'investigació en Intel·ligència Artificial

  • Servicios de I+D

    Evaluación automatizada de software

    Institut Universitari Valencià d'investigació en Intel·ligència Artificial

  • Servicios de I+D

    Especificación y verificación avanzada de software

    Institut Universitari Valencià d'investigació en Intel·ligència Artificial

  • Líneas de investigación

    Métodos de Producción de Software en el ámbito de la IA

    Institut Universitari Valencià d'investigació en Intel·ligència Artificial

  • Software

    R-16970-2014 - TESTAR (Test*): Herramienta para el testeo...

    Institut Universitari Valencià d'investigació en Intel·ligència Artificial