Synthesizing adaptive test strategies from temporal logic specifications (Q2280227)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Synthesizing adaptive test strategies from temporal logic specifications |
scientific article |
Statements
Synthesizing adaptive test strategies from temporal logic specifications (English)
0 references
18 December 2019
0 references
automatic test-case generation
0 references
system testing
0 references
specification testing
0 references
adaptive tests
0 references
synthesis
0 references
reactive systems
0 references
mutation testing
0 references
