Test generation from event system abstractions to cover their states and transitions (Q2216864)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Test generation from event system abstractions to cover their states and transitions |
scientific article |
Statements
Test generation from event system abstractions to cover their states and transitions (English)
0 references
17 December 2020
0 references
predicate abstraction
0 references
underapproximation
0 references
event systems
0 references
model-based testing from abstraction
0 references
