Requirement-Driven Scenario-Based Testing Using Formal Stepwise Development

Qaisar A. Malik, Linas Laibinis, Dragos Truscan, Johan Lilius

    Research output: Contribution to journalArticleScientificpeer-review

    Original languageUndefined/Unknown
    Pages (from-to)147–160
    JournalInternational Journal on Advances in Software
    Volume3
    Issue number1 & 2
    Publication statusPublished - 2010
    MoE publication typeA1 Journal article-refereed

    Cite this