Model-based Testing Using Scenarios and Event-B Refinements

Qaisar A Malik, Johan Lilius, Linas Laibinis

Research output: Chapter in Book/Conference proceeding › Chapter › Scientific › peer-review

Original language	Undefined/Unknown
Title of host publication	Methods, Models and Tools for Fault Tolerance
Editors	Michael Butler CJAR, E Troubitsyna
Publisher	Springer
Pages	177–195
ISBN (Electronic)	978-3-642-00867-2
ISBN (Print)	978-3-642-00866-5
DOIs	https://doi.org/10.1007/978-3-642-00867-2
Publication status	Published - 2008
MoE publication type	A3 Part of a book or another research book

Access to Document

@inbook{c5d512177b104b22ab1c3d98c8ec5b36,

title = "Model-based Testing Using Scenarios and Event-B Refinements",

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

year = "2008",

doi = "10.1007/978-3-642-00867-2",

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

isbn = "978-3-642-00866-5",

pages = "177–195",

editor = "{Butler CJAR}, Michael and E Troubitsyna",

booktitle = "Methods, Models and Tools for Fault Tolerance",

publisher = "Springer",

}

TY - CHAP

T1 - Model-based Testing Using Scenarios and Event-B Refinements

AU - A Malik, Qaisar

AU - Lilius, Johan

AU - Laibinis, Linas

PY - 2008

Y1 - 2008

U2 - 10.1007/978-3-642-00867-2

DO - 10.1007/978-3-642-00867-2

M3 - Kapitel

SN - 978-3-642-00866-5

SP - 177

EP - 195

BT - Methods, Models and Tools for Fault Tolerance

A2 - Butler CJAR, Michael

A2 - Troubitsyna, E

PB - Springer

ER -