Bounded sequence testing from deterministic finite state machines (Q964395)

From MaRDI portal





scientific article; zbMATH DE number 5693344
Language Label Description Also known as
English
Bounded sequence testing from deterministic finite state machines
scientific article; zbMATH DE number 5693344

    Statements

    Bounded sequence testing from deterministic finite state machines (English)
    0 references
    0 references
    15 April 2010
    0 references
    finite state machines
    0 references
    test selection
    0 references
    \(W\)-method
    0 references
    \(Wp\)-method
    0 references
    specification-based testing
    0 references

    Identifiers