Mostrando 1 - 2 Resultados de 2 Para Buscar '' Saltar al contenido
BDU3
  • Inicio
  • Su cuenta
  • Salir
  • Entrar
Avanzado
Restablecer filtros
Materias: INCREMEN- TAL SAT-SOLVING
Restablecer filtros
Mostrar filtros (1)
Materias: INCREMEN- TAL SAT-SOLVING
  • Resultados de búsqueda
Materias dentro de su búsqueda. Materias dentro de su búsqueda.
ALLOY 2 AUTOMATIC TEST CASE GENERATION 2 BOUNDED VERIFICATION 2 DYNALLOY 2 GENERACION AUTOMATICA DE CASOS DE TEST 2 INCREMEN- TAL SAT-SOLVING SAT-SOLVING INCREMENTAL 2 TACO 2 TESTING 2 VERIFICACION ACOTADA 2
Mostrando 1 - 2 Resultados de 2 Para Buscar '', tiempo de consulta: 0.02s Limitar resultados
  1. 1
    Fajita : generación automática de casos de test basada en verificación acotada
    por Ciolek, Daniel Alfredo
    Publicado 2012
    Aportado por: Repositorio Digital de la Universidad de Buenos Aires (UBA)
    Enlace del recurso
    Enlace del recurso
    Tesis de grado publishedVersion
    Agregar a favoritos
    Guardado en:
  2. 2
    Fajita : generación automática de casos de test basada en verificación acotada
    por Ciolek, Daniel Alfredo
    Publicado 2012
    Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
    Enlace del recurso
    Tesis de grado publishedVersion
    Agregar a favoritos
    Guardado en:
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda — Guardar Búsqueda

Refine su búsqueda

Universidad de Buenos Aires 2
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) 1 Repositorio Digital de la Universidad de Buenos Aires (UBA) 1
Tesis de grado 2
Ciolek, Daniel Alfredo 2 Frias, Marcelo Fabián 1 Frías, Marcelo Fabián 1
Español 2

Opciones de búsqueda

  • Historial de Búsqueda
  • Búsqueda Avanzada

Buscar Más

  • Revisar el Catálogo
  • Explorar canales
  • Tour (beta)

¿Necesita Ayuda?

  • Consejos de búsqueda
  • Preguntas Frecuentes
  • Contacte al adminstrador
Cargando...