Carregant...
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...
Guardat en:
| Publicat a: | Form Methods Syst Des |
|---|---|
| Autors principals: | , , , , , , |
| Format: | Artigo |
| Idioma: | Inglês |
| Publicat: |
Springer US
2019
|
| Matèries: | |
| Accés en línia: | 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 |
| Etiquetes: |
Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|