---
res:
  bibo_abstract:
  - In modern software development, paradigms like component-based software engineering
    (CBSE) and service-oriented architectures (SOA) emphasize the construction of
    large software systems out of existing components or services. Therein, a service
    is a self-contained piece of software, which adheres to a specified interface.
    In a model-based software design, this interface constitutes our sole knowledge
    of the service at design time, while service implementations are not available.
    Therefore, correctness checks or detection of potential errors in service compositions
    has to be carried out without the possibility of executing services. This challenges
    the usage of standard software error localization techniques for service compositions.
    In this paper, we review state-of-the-art approaches for error localization of
    software and discuss their applicability to service compositions.@eng
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Julia
      foaf_name: Krämer, Julia
      foaf_surname: Krämer
  - foaf_Person:
      foaf_givenName: Heike
      foaf_name: Wehrheim, Heike
      foaf_surname: Wehrheim
      foaf_workInfoHomepage: http://www.librecat.org/personId=573
  bibo_doi: 10.1007/978-3-319-44482-6_16
  dct_date: 2016^xs_gYear
  dct_language: eng
  dct_title: A short survey on using software error localization for service compositions@
...
