Testing restorable systems: formal definition and heuristic solution based on river formation dynamics (Q470035)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Testing restorable systems: formal definition and heuristic solution based on river formation dynamics |
scientific article |
Statements
Testing restorable systems: formal definition and heuristic solution based on river formation dynamics (English)
0 references
11 November 2014
0 references
testing
0 references
weighted finite state machines
0 references
minimum load sequence
0 references
evolutionary computation
0 references
river formation dynamics
0 references