Service‐oriented architecture (SOA) is gaining momentum as an emerging distributed
system architecture for business‐to‐business collaborations. This momentum can be …

Every year several contributions to the model‐based testing (MBT) field are published.
Therefore, to follow the evolution and trends of several tools and models available is difficult …

There have been few experience reports from industry on how Model-Driven Engineering
(MDE) is applied and what the benefits are. This paper summarizes the experiences of three …

Context: In modern systems, like cyber-physical systems, where software and physical
services are interacting, safety, security or performance play an important role. In order to …

Component integration plays a decisive role in service-oriented architectures (SOAs). The
technical implementation must faithfully reflect business and enterprise integration …

In this paper we present an approach of using model-driven technologies for testing of
service component interactions. We report on an industrial experiment with a novel …

This paper presents a case study for the modeling and model-based testing (MBT) of
enterprise service choreographies. Our proposed MBT approach uses proprietary models …

Abstract Service-based applications are based on modern architectures that require careful
design of interfaces and protocols to allow smooth integration of service components. These …

O teste de software é uma atividade fundamental para garantir a qualidade de software.
Além disso, teste de software é uma das atividades mais caras e demoradas no processo …

This technical report presents a study about software tools and approaches for testing web
service compositions. Our goals consist on understanding the current scenario of …