Testing against a non-controllable stream X-machine using state counting (Q2368996)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Testing against a non-controllable stream X-machine using state counting |
scientific article |
Statements
Testing against a non-controllable stream X-machine using state counting (English)
0 references
28 April 2006
0 references
Specification based testing
0 references
Test generation
0 references
Formal specifications
0 references
Stream X-machines
0 references
Finite state machines
0 references
0 references
