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
    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

    Identifiers