Scenario-based Test Case Generation Using Event-B Models

Qaisar A. Malik, Johan Lilius, Linas Laibinis

    Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

    5 Citations (Scopus)
    Original languageUndefined/Unknown
    Title of host publicationAdvances in System Testing and Validation Lifecycle, 2009. VALID '09. First International Conference on
    PublisherIEEE Computer Society
    Pages31–37
    ISBN (Electronic)978-0-7695-3774-0
    ISBN (Print)978-1-4244-4862-3
    DOIs
    Publication statusPublished - 2009
    MoE publication typeA4 Article in a conference publication
    Eventconference; 2009-09-20; 2009-09-25 - First International Conference on Advances in System Testing and Validation Lifecycle, 2009. VALID '09
    Duration: 20 Sep 200925 Sep 2009

    Conference

    Conferenceconference; 2009-09-20; 2009-09-25
    Period20/09/0925/09/09

    Cite this