Showing 1 - 7 results of 7 for search 'Valdivino Alexandre de Santiago Júnior', query time: 0.06s Refine Results
  1. 1
    SOLIMVA: A methodology for generating model-based test cases from natural language requirements and detecting incompleteness in software specifications
    Get full text
  2. 2
    Transformation of UML Behavioral Diagrams to Support Software Model Checking
    Get full text
    Article
  3. 3
    A methodology to apply formal verification to UML-based software
    Other Authors: “...Valdivino Alexandre de Santiago Júnior...”
    Get full text
  4. 4
    Model checking probabilístico para apoiar a mitigação de evento de falta única em Field Programmable Gate Arrays (FPGAs)
    by Viny Cesar Pereira
    Published 2018
    Other Authors: “...Valdivino Alexandre de Santiago Júnior...”
    Get full text
  5. 5
    Minimização de casos/passos de teste para linguagens de programação visual
    Other Authors: “...Valdivino Alexandre de Santiago Júnior...”
    Get full text
  6. 6
    Um algoritmo para geração de casos de teste combinatorial via matriz de cobertura com níveis variados
    by Juliana Marino Balera
    Published 2017
    Other Authors: “...Valdivino Alexandre de Santiago Júnior...”
    Get full text
  7. 7
    REACTOR: Combining static analysis, testing and reverse engineering to detect software defects
    by Alessandro Oliveira Arantes
    Published 2016
    Other Authors: “...Valdivino Alexandre de Santiago Júnior...”
    Get full text
Search Tools: Get RSS Feed — Email this Search