Mostrando 1 - 3 Resultados de 3 Para Buscar 'Jakobs, Marie-Christine', tiempo de consulta: 0.01s Limitar resultados
  1. 1
    por Jakobs, Marie-Christine
    Publicado 2020
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    CoVeriTest with Dynamic Partitioning of the Iteration Time Limit (Competition Contribution)
  2. 2
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    CoVeriTest with Adaptive Time Scheduling (Competition Contribution)
  3. 3
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    HybridTiger: Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution)
Herramientas de búsqueda: RSS