The importance of mobile application specific testing techniques and methods has been
attracting much attention of software engineers over the past few years. This is due to the …

One major challenge in self-adaptive systems is to assure the required quality properties.
Formal methods provide the means to rigorously specify and reason about the behaviors of …

Context-awareness is an essential component of systems developed in areas like Intelligent
Environments, Pervasive & Ubiquitous Computing and Ambient Intelligence. In these …

As mobile devices become increasingly smarter and more powerful, so too must the
engineering of their software. User-interface-driven system testing of these devices is …

Microservices have gained wide recognition and acceptance in software industries as an
emerging architectural style for autonomic, scalable, and more reliable computing. The …

Validating code handling exceptional behavior is difficult, particularly when dealing with
external resources that may be noisy and unreliable, as it requires: 1) the systematic …

Ubiquitous sensing allows systems to exploit almost any kind of context, and enables the
design of intelligent systems that are aware of their context and adapt their behavior …

Context Context-awareness challenges the engineering of contemporary software systems
and jeopardizes their testing. The variation of context represents a relevant behavior that …

The Minimally Adequate Synthesizer (MAS) is an interactive algorithm that synthesizes UML
statechart diagrams from sequence diagrams. It follows D. Angluin's (1987) framework of a …

Context: Software engineering for ubiquitous systems has experienced an important and
rapid growth, however the vast research corpus makes it difficult to obtain valuable …