Model-based Testing Using Scenarios and Event-B Refinements

Qaisar A. Malik, Johan Lilius, Linas Laibinis

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

    Original languageUndefined/Unknown
    Title of host publicationWorkshop on Methods, Models and Tools for Fault Tolerance, Proceedings
    EditorsM Butler, C Jones, A Romanovsky, E Troubitsyna
    Publication statusPublished - 2007
    MoE publication typeA4 Article in a conference publication
    Eventconference; 2007-07-02; 2007-07-05 - 6th International Conference on Integrated Formal Methods, IFM 2007
    Duration: 2 Jul 20075 Jul 2007


    Conferenceconference; 2007-07-02; 2007-07-05

    Cite this