Reduced checking sequences using unreliable reset (Q2339596)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Reduced checking sequences using unreliable reset |
scientific article; zbMATH DE number 6422533
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Reduced checking sequences using unreliable reset |
scientific article; zbMATH DE number 6422533 |
Statements
Reduced checking sequences using unreliable reset (English)
0 references
2 April 2015
0 references
model-based testing
0 references
finite state machines
0 references
checking sequences
0 references
synchronizing sequences
0 references
formal methods
0 references
0.7747388482093811
0 references
0.7702307105064392
0 references
0.76689612865448
0 references
0.7482823133468628
0 references
0.7467116713523865
0 references
