Abstract Model-Driven Engineering is a development paradigm that uses models instead of
code as primary development artifacts. In this paper, we focus on executable models, which …

Abstract Model-based testing (MBT) has been extensively researched for software-intensive
systems but, despite the academic interest, adoption of the technique in industry has been …

Context-aware applications are emerging applications in the modern era of computing.
These applications can determine and adapt to situational context to provide better user …

We present a text detection method in natural scene images based on two-stage nontext
filtering. Firstly, we detect multi-channel maximally stable extremal regions (MSERs) as …

Práticas de controle de qualidade têm se tornado cada vez mais importantes para apli-
cações de diversos tipos, em especial, para aplicações web, que são facilmente acessíveis …

Data replication is a central mechanism for the engineering of fault-tolerant distributed
systems, and is used in the realization of most cloud computing services. This paper …

Safety and robustness play a crucial role in the context of the Industrial Internet of Things as
autonomous and emergent behavior increase the complexity of Cyber-Physical Production …

Evermore end-to-end digital services in several domains (e-health, smart cities, etc.) depend
on the proper interoperation of multiple products, forming a distributed system, often subject …

Automated Scenario-based Testing of Distributed and Heterogeneous Systems Page 1
Automated Scenario-based Testing of Distributed and Heterogeneous Systems Bruno Lima …

ABSTRACT Model-Driven Engineering (MDE) is a development paradigm that aims at
coping with the complexity of systems by separating concerns using models. A model is a …