Timed model-based testing

H.C. Bohnenkamp; Axel Belinfante

Timed model-based testing

H.C. Bohnenkamp, Axel Belinfante

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

251 Downloads (Pure)

Original language	Undefined
Title of host publication	Tangram: Model-based integration and testing of complex high-tech systems
Editors	G.J. Tretmans
Place of Publication	Eindhoven, the Netherlands
Publisher	Embedded Systems Institute ESI
Pages	115-128
Number of pages	16
ISBN (Print)	978-90-78679-02-8
Publication status	Published - 2007
Event	13th International Symposium of Formal Methods: Europe - Newcastle upon Tyne, United Kingdom Duration: 18 Jul 2005 → 22 Jul 2005 Conference number: 13

Publication series

Name
Publisher	Embedded Systems Institute

Conference

Conference	13th International Symposium of Formal Methods
Abbreviated title	FM 2005
Country/Territory	United Kingdom
City	Newcastle upon Tyne
Period	18/07/05 → 22/07/05

Keywords

METIS-250847
IR-64506
Model-based on-the-fly Testing
Real-Time Testing
TorX
Timed Automata
Tools
EWI-11505
FMT-RT: VERIFICATION OF REAL-TIME SYSTEMS
FMT-TESTING

Access to Document

Cite this

@inbook{301314565d8549f18d3a751a48f13e97,

title = "Timed model-based testing",

keywords = "METIS-250847, IR-64506, Model-based on-the-fly Testing, Real-Time Testing, TorX, Timed Automata, Tools, EWI-11505, FMT-RT: VERIFICATION OF REAL-TIME SYSTEMS, FMT-TESTING",

author = "H.C. Bohnenkamp and Axel Belinfante",

year = "2007",

language = "Undefined",

isbn = "978-90-78679-02-8",

publisher = "Embedded Systems Institute ESI",

pages = "115--128",

editor = "G.J. Tretmans",

booktitle = "Tangram: Model-based integration and testing of complex high-tech systems",

note = "13th International Symposium of Formal Methods ; Conference date: 18-07-2005 Through 22-07-2005",

}

TY - CHAP

T1 - Timed model-based testing

AU - Bohnenkamp, H.C.

AU - Belinfante, Axel

N1 - Conference code: 13

PY - 2007

Y1 - 2007

KW - METIS-250847

KW - IR-64506

KW - Model-based on-the-fly Testing

KW - Real-Time Testing

KW - TorX

KW - Timed Automata

KW - Tools

KW - EWI-11505

KW - FMT-RT: VERIFICATION OF REAL-TIME SYSTEMS

KW - FMT-TESTING

M3 - Chapter

SN - 978-90-78679-02-8

SP - 115

EP - 128

BT - Tangram: Model-based integration and testing of complex high-tech systems

A2 - Tretmans, G.J.

PB - Embedded Systems Institute ESI

CY - Eindhoven, the Netherlands

T2 - 13th International Symposium of Formal Methods

Y2 - 18 July 2005 through 22 July 2005

ER -