Search algorithms for automated validation (Q1014571)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Search algorithms for automated validation |
scientific article |
Statements
Search algorithms for automated validation (English)
0 references
29 April 2009
0 references
validation
0 references
search algorithms
0 references
random search
0 references
model checking
0 references
