Hardness and inapproximability of minimizing adaptive distinguishing sequences (Q479811)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Hardness and inapproximability of minimizing adaptive distinguishing sequences |
scientific article |
Statements
Hardness and inapproximability of minimizing adaptive distinguishing sequences (English)
0 references
5 December 2014
0 references
formal testing
0 references
finite state machine based testing
0 references
state identification
0 references
adaptive distinguishing sequences
0 references
