Testing with Büchi Automata: Transition Coverage Metrics, Performance Analysis, and Property Refinement (Q5348534)
From MaRDI portal
scientific article; zbMATH DE number 6762139
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Testing with Büchi Automata: Transition Coverage Metrics, Performance Analysis, and Property Refinement |
scientific article; zbMATH DE number 6762139 |
Statements
Testing with Büchi Automata: Transition Coverage Metrics, Performance Analysis, and Property Refinement (English)
0 references
18 August 2017
0 references
