I/O-automata based testing

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

Original language	Undefined
Title of host publication	Model-based testing of reactive systems
Editors	M. Broy, B. Jonsson, J.P. Katoen, M. Leucker, A. Pretschner
Place of Publication	Berlin
Publisher	Springer
Pages	173-200
ISBN (Print)	3-540-26278-4
Publication status	Published - 2005

Name	Lecture notes in computer science
Number	3472

Keywords

@inbook{ce00540aadf849ce954948924dbab224,

title = "I/O-automata based testing",

keywords = "METIS-229284",

author = "\{van der Bijl\}, H.M. and F. Peureux",

note = "eemcs1563 ",

year = "2005",

language = "Undefined",

isbn = "3-540-26278-4",

series = "Lecture notes in computer science",

publisher = "Springer",

number = "3472",

pages = "173--200",

editor = "M. Broy and B. Jonsson and J.P. Katoen and M. Leucker and A. Pretschner",

booktitle = "Model-based testing of reactive systems",

address = "Germany",

}

TY - CHAP

T1 - I/O-automata based testing

AU - van der Bijl, H.M.

AU - Peureux, F.

N1 - eemcs1563

PY - 2005

Y1 - 2005

KW - METIS-229284

M3 - Chapter

SN - 3-540-26278-4

T3 - Lecture notes in computer science

SP - 173

EP - 200

BT - Model-based testing of reactive systems

A2 - Broy, M.

A2 - Jonsson, B.

A2 - Katoen, J.P.

A2 - Leucker, M.

A2 - Pretschner, A.

PB - Springer

CY - Berlin

ER -