Requirement-Driven Scenario-Based Testing Using Formal Stepwise Development

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

Research output: Contribution to journal › Article › Scientific › peer-review

Original language	Undefined/Unknown
Pages (from-to)	147–160
Journal	International Journal on Advances in Software
Volume	3
Issue number	1 & 2
Publication status	Published - 2010
MoE publication type	A1 Journal article-refereed

D-Mint: Deployment of Model-Based Technologies to Industrial Testing
Truscan, D. (Principal Investigator), Lilius, J. (Co-Principal Investigator), Porres Paltor, I. (Co-Principal Investigator) & Abbors, F. (Co-Investigator)
01/01/07 → 31/12/09
Project: Industry/Business Finland

Cite this

@article{b7c2ba28da2442cfa4ef52dc86841562,

title = "Requirement-Driven Scenario-Based Testing Using Formal Stepwise Development",

author = "Malik, {Qaisar A.} and Linas Laibinis and Dragos Truscan and Johan Lilius",

year = "2010",

language = "Odefinierat/ok{\"a}nt",

volume = "3",

pages = "147–160",

journal = "International Journal on Advances in Software",

issn = "1942-2628",

number = "1 & 2",

}