Synthesis of Scenario Based Test Cases from B Models

M Satpathy, QA Malik, Johan Lilius

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

    7 Citations (Scopus)
    Original languageUndefined/Unknown
    Title of host publicationFormal 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
    EditorsK Havelund, M Núñez, G Rosu, B Wolff
    Publication statusPublished - 2006
    MoE publication typeA4 Article in a conference publication
    Eventconference -
    Duration: 1 Jan 2010 → …


    Period01/01/10 → …

    Cite this