Finite state machine testing from an OR state refinement design (Q3018235)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5929614
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Finite state machine testing from an OR state refinement design |
scientific article; zbMATH DE number 5929614 |
Statements
21 July 2011
0 references
finite state machine
0 references
OR state refinement
0 references
test generation
0 references
verification
0 references
W-method
0 references
0.7341040968894958
0 references
0.7341036200523376
0 references
0.7285480499267578
0 references
0.7269442677497864
0 references
