@inproceedings{aeca7dd449184a70bbc94e8cc19e11f2,
title = "On the complexity of input output conformance testing",
abstract = "Input-output conformance (ioco) testing is a well-known approach to model-based testing. In this paper, we study the complexity of checking ioco. We show that the problem of checking ioco is PSPACE-complete. To provide a more efficient algorithm, we propose a more restricted setting for checking ioco, namely with deterministic models and show that in this restricted setting ioco checking can be performed in polynomial time.",
author = "N. Noroozi and M.R. Mousavi and T.A.C. Willemse",
year = "2014",
doi = "10.1007/978-3-319-07602-7\_18",
language = "English",
isbn = "978-3-319-07601-0",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "291--309",
editor = "J.L. Fiadeiro and Z. Liu and J. Xue",
booktitle = "Formal Aspects of Component Software (10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers)",
address = "Germany",
note = "10th International Symposium on Formal Aspects of Component Software (FACS 2013), October 27-29, 2013, Nanchang, China, FACS 2013 ; Conference date: 27-10-2013 Through 29-10-2013",
}