@inproceedings{9570dd24f80a42e6a96aeeadfbccf9f8,
title = "Does my service have unspecified behavior?",
abstract = "Services are loosely coupled interacting software components. Since two or more services are usually composed to one software system, the behavior of an implemented service should not differ to its specification. Therefore we propose an approach to test, if the implementation contains unspecified behavior. Due to the interacting nature of services this is a nontrivial task.",
author = "K. Kaschner and N. Lohmann",
year = "2009",
language = "English",
series = "CEUR Workshop Proceedings",
publisher = "CEUR-WS.org",
pages = "22--28",
editor = "O. Kopp and N. Lohmann",
booktitle = "Proceedings of the 1st Central-European Workshop on Services and their Composition (ZEUS 2009, Stuttgart, Germany, March 2-3, 2009)",
}