Načítá se...
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...
Uloženo v:
| Vydáno v: | Form Methods Syst Des |
|---|---|
| Hlavní autoři: | , , , , , , |
| Médium: | Artigo |
| Jazyk: | Inglês |
| Vydáno: |
Springer US
2019
|
| Témata: | |
| On-line přístup: | 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 |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|