@inproceedings{97e6227dc06a42849918d4ed0ea0ee6f,
title = "Formal Test Automation: A Simple Experiment",
abstract = "In this paper1 we study the automation of test derivation and execution in the area of conformance testing. The test scenarios are derived from multiple specication languages: LOTOS, Promela and SDL. A central theme of this study is the usability of batch-oriented and on-the-fly testing approaches. To facilitate the derivation from multiple formal description techniques and the dierent test execution approaches, an open, generic environment called TorX is introduced. TorX enables plugging in existing or dedicated tools. We have carried out several experiments in testing a conference protocol, resulting in requirements on automated testing and benchmarking criteria.",
keywords = "EWI-6473, IR-63294, METIS-119606, FMT-TESTING",
author = "Axel Belinfante and J. Feenstra and {de Vries}, R.G. and G.J. Tretmans and N. Goga and Loe Feijs and Sjouke Mauw and A.W. Heerink",
year = "1999",
language = "Undefined",
isbn = "0-7923-8581-0",
series = "IFIP Conference Proceedings",
publisher = "Kluwer Academic Publishers",
pages = "179--196",
editor = "Gyula Csopaki and Sarolta Dibuz and Katalin Tarnay",
booktitle = "Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications",
address = "Netherlands",
note = "12th IFIP WG 6.1 International Workshop on Testing Communicating Systems ; Conference date: 01-09-1999 Through 03-09-1999",
}