Combining Model Checking and Testing (Q3176377)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Combining Model Checking and Testing
scientific article

    Statements

    title
    Combining Model Checking and Testing (English)
    0 references
    author
    Patrice Godefroid
    0 references
    Koushik Sen
    0 references
    publication date
    20 July 2018
    0 references
    describes a project that uses
    SLAM
    0 references
    KLEE
    0 references
    ISP
    0 references
    PathCrawler
    0 references
    JPF-SE
    0 references
    MODIST
    0 references
    YOGI
    0 references
    z3
    0 references
    Looper
    0 references
    jCUTE
    0 references
    CUTE
    0 references
    DART
    0 references
    CCured
    0 references
    Pex
    0 references
    ConTest
    0 references
    JPAX
    0 references
    Con2colic
    0 references
    CATG
    0 references
    Jalangi
    0 references
    Boogie
    0 references
    Snugglebug
    0 references
    veriSoft
    0 references
    CalFuzzer
    0 references
    ADL
    0 references
    Java PathFinder
    0 references
    Bandera
    0 references
    CESAR
    0 references
    BitBlaze
    0 references
    SpecExplorer
    0 references
    STP
    0 references
    cites work
    Q4553257
    0 references
    Q3336675
    0 references
    Q2753772
    0 references
    Q5584402
    0 references
    Q4791848
    0 references
    Q4417955
    0 references
    Q2754105
    0 references
    CCured
    0 references
    Q3940830
    0 references
    Q2753763
    0 references

    Identifiers

    zbMATH DE Number
    6908885
    0 references
    OpenAlex ID
    W2472899067
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3176377&oldid=36410146"
    Powered by MediaWiki