On testing UML statecharts (Q2500697)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On testing UML statecharts
scientific article

    Statements

    title
    On testing UML statecharts (English)
    0 references
    author
    Mieke Massink
    0 references
    Diego Latella
    0 references
    Stefania Gnesi
    0 references
    publication date
    17 August 2006
    0 references
    zbMATH Keywords
    UML statecharts
    0 references
    formal testing theories
    0 references
    testing equivalence
    0 references
    mechanical verification
    0 references
    formal conformace testing
    0 references
    test case mechanical generation
    0 references
    formal semantics
    0 references
    describes a project that uses
    CADP
    0 references
    SPIN
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68N15
    0 references
    68Q60
    0 references
    68Q85
    0 references
    zbMATH DE Number
    5047644
    0 references
    OpenAlex ID
    W2006000146
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2500697&oldid=39126680"
    Powered by MediaWiki