Synthesis of Scenario Based Test Cases from B Models

M Satpathy, QA Malik, Johan Lilius

    Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

    5 Citeringar (Scopus)
    OriginalspråkOdefinierat/okänt
    Titel på gästpublikationFormal Approaches to Software Testing and Runtime Verification, First Combined International Workshops FATES 2006 and RV 2006 Seattle, WA, USA, August 15-16, 2006 Revised Selected Papers
    RedaktörerK Havelund, M Núñez, G Rosu, B Wolff
    FörlagSpringer
    Sidor133–147
    StatusPublicerad - 2006
    MoE-publikationstypA4 Artikel i en konferenspublikation
    Evenemangconference -
    Varaktighet: 1 jan 2010 → …

    Konferens

    Konferensconference
    Period01/01/10 → …

    Citera det här