Automated Testing in Practice: The Highway Tolling System

R.G. de Vries; Axel Belinfante; J. Feenstra

Automated Testing in Practice: The Highway Tolling System

R.G. de Vries, Axel Belinfante, J. Feenstra

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

61 Downloads (Pure)

Original language	Undefined
Title of host publication	Proceedings of the IFIP 14th International Conference on Testing Communicating Systems XIV
Editors	I. Schieferdecker, H. König, A. Wolisz
Place of Publication	Dordrecht
Publisher	Kluwer Academic Publishers
Pages	219-234
Number of pages	16
ISBN (Print)	0-7923-7695-1
Publication status	Published - 2002

Publication series

Name	IFIP Conference Proceedings
Publisher	Kluwer Academic Publishers
Volume	210

Keywords

FMT-TESTING
EWI-6525
FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS

Access to Document

main
open

Cite this

@inproceedings{43de350e3f2c4ac08e362303a5a1f274,

title = "Automated Testing in Practice: The Highway Tolling System",

keywords = "FMT-TESTING, EWI-6525, FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS",

author = "{de Vries}, R.G. and Axel Belinfante and J. Feenstra",

year = "2002",

language = "Undefined",

isbn = "0-7923-7695-1",

series = "IFIP Conference Proceedings",

publisher = "Kluwer Academic Publishers",

pages = "219--234",

editor = "I. Schieferdecker and H. K{\"o}nig and A. Wolisz",

booktitle = "Proceedings of the IFIP 14th International Conference on Testing Communicating Systems XIV",

address = "Netherlands",

}

Automated Testing in Practice: The Highway Tolling System. / de Vries, R.G.; Belinfante, Axel; Feenstra, J.

Proceedings of the IFIP 14th International Conference on Testing Communicating Systems XIV. ed. / I. Schieferdecker; H. König; A. Wolisz. Dordrecht : Kluwer Academic Publishers, 2002. p. 219-234 (IFIP Conference Proceedings; Vol. 210).

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

TY - GEN

T1 - Automated Testing in Practice: The Highway Tolling System

AU - de Vries, R.G.

AU - Belinfante, Axel

AU - Feenstra, J.

PY - 2002

Y1 - 2002

KW - FMT-TESTING

KW - EWI-6525

KW - FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS

M3 - Conference contribution

SN - 0-7923-7695-1

T3 - IFIP Conference Proceedings

SP - 219

EP - 234

BT - Proceedings of the IFIP 14th International Conference on Testing Communicating Systems XIV

A2 - Schieferdecker, I.

A2 - König, H.

A2 - Wolisz, A.

PB - Kluwer Academic Publishers

CY - Dordrecht

ER -