Bounded sequence testing from deterministic finite state machines (Q964395): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Import240304020342 (talk | contribs)
Set profile property.
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Revision as of 01:45, 5 March 2024

scientific article
Language Label Description Also known as
English
Bounded sequence testing from deterministic finite state machines
scientific article

    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