Scenario-based Test Case Generation Using Event-B Models

Qaisar A. Malik, Johan Lilius, Linas Laibinis

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    5 Sitaatiot (Scopus)
    AlkuperäiskieliEi tiedossa
    OtsikkoAdvances in System Testing and Validation Lifecycle, 2009. VALID '09. First International Conference on
    KustantajaIEEE Computer Society
    Sivut31–37
    ISBN (elektroninen)978-0-7695-3774-0
    ISBN (painettu)978-1-4244-4862-3
    DOI - pysyväislinkit
    TilaJulkaistu - 2009
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
    Tapahtumaconference; 2009-09-20; 2009-09-25 - First International Conference on Advances in System Testing and Validation Lifecycle, 2009. VALID '09
    Kesto: 20 syyskuuta 200925 syyskuuta 2009

    Konferenssi

    Konferenssiconference; 2009-09-20; 2009-09-25
    Ajanjakso20/09/0925/09/09

    Viittausmuodot