Using Model Checking to Generate Fault Detecting Tests (Q5423870)
From MaRDI portal
scientific article; zbMATH DE number 5207439
Language | Label | Description | Also known as |
---|---|---|---|
English | Using Model Checking to Generate Fault Detecting Tests |
scientific article; zbMATH DE number 5207439 |
Statements
Using Model Checking to Generate Fault Detecting Tests (English)
0 references
31 October 2007
0 references
model-based testing
0 references
fault-based testing
0 references
abstract state machines
0 references
ASM
0 references