Synthesis of Scenario Based Test Cases from B Models

M Satpathy, QA Malik, Johan Lilius

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    5 Sitaatiot (Scopus)
    AlkuperäiskieliEi tiedossa
    OtsikkoFormal 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
    ToimittajatK Havelund, M Núñez, G Rosu, B Wolff
    KustantajaSpringer
    Sivut133–147
    TilaJulkaistu - 2006
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
    Tapahtumaconference -
    Kesto: 1 tammikuuta 2010 → …

    Konferenssi

    Konferenssiconference
    Ajanjakso01/01/10 → …

    Viittausmuodot