@inproceedings{59409919abed461e86088a46211d844d,
title = "Hybrid input-output conformance and test generation",
abstract = "Input-output conformance test theory for discrete systems has established itself in research and industry already. A couple of years ago also input-output conformance test theories for timed systems were defined. The next step is to develop conformance test theory for hybrid systems as well. In this paper we present a conformance relation for model-based testing of hybrid systems and we formalize tests for hybrid systems.",
author = "{Osch, van}, M.P.W.J.",
year = "2006",
doi = "10.1007/11940197_5",
language = "English",
isbn = "3-540-49699-8",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "70--84",
editor = "K. Havelund and M. N{\'u}{\~n}ez and G. Rosu and B. Wolff",
booktitle = "Formal Approaches to Testing and Runtime Verification (First Combined International Workshops FATES 2006 and RV 2006, Seattle WA, USA, August 15-16, 2006, Revised selected papers)",
address = "Germany",
}