A carregar...
Synthesizing adaptive test strategies from temporal logic specifications
Constructing good test cases is difficult and time-consuming, especially if the system under test is still under development and its exact behavior is not yet fixed. We propose a new approach to compute test strategies for reactive systems from a given temporal logic specification using formal metho...
Na minha lista:
| Publicado no: | Form Methods Syst Des |
|---|---|
| Main Authors: | , , , , , , |
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
Springer US
2019
|
| Assuntos: | |
| Acesso em linha: | https://ncbi.nlm.nih.gov/pmc/articles/PMC6892341/ https://ncbi.nlm.nih.gov/pubmed/31866704 https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/s10703-019-00338-9 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|