NDLTD logo NDLTD Union Catalog and Global ETD Search

Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 1 of 1 for “"Verificação de sistemas"”.

  1. NAT2TEST: generating test cases from natural language requirements based on CSP

    CARVALHO, Gustavo Henrique Porto deUniversidade Federal de Pernambuco2016

    … trustworthiness levels are usually required when developing critical systems, and model based testing (MBT) techniques play an important role generating test cases from specification models. Concerning critical systems, these models are usually created using formal or semi-formal notations. …

    brazil-ufpe Repository record