A systematic mapping study of mobile application testing techniques
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 …
attracting much attention of software engineers over the past few years. This is due to the …
A survey of formal methods in self-adaptive systems
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 …
Formal methods provide the means to rigorously specify and reason about the behaviors of …
Engineering context-aware systems and applications: A survey
Context-awareness is an essential component of systems developed in areas like Intelligent
Environments, Pervasive & Ubiquitous Computing and Ambient Intelligence. In these …
Environments, Pervasive & Ubiquitous Computing and Ambient Intelligence. In these …
MobiGUITAR: Automated model-based testing of mobile apps
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 …
engineering of their software. User-interface-driven system testing of these devices is …
Microservice transition and its granularity problem: A systematic mapping study
Microservices have gained wide recognition and acceptance in software industries as an
emerging architectural style for autonomic, scalable, and more reliable computing. The …
emerging architectural style for autonomic, scalable, and more reliable computing. The …
Amplifying tests to validate exception handling code
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 …
external resources that may be noisy and unreliable, as it requires: 1) the systematic …
Considering context in the design of intelligent systems: Current practices and suggestions for improvement
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 …
design of intelligent systems that are aware of their context and adapt their behavior …
[HTML][HTML] Alternatives for testing of context-aware software systems in non-academic settings: results from a Rapid Review
S Matalonga, D Amalfitano, A Doreste… - Information and …, 2022 - Elsevier
Context Context-awareness challenges the engineering of contemporary software systems
and jeopardizes their testing. The variation of context represents a relevant behavior that …
and jeopardizes their testing. The variation of context represents a relevant behavior that …
MAS-an interactive synthesizer to support behavioral modeling in UML
E Mlikinen, T Systa - … of the 23rd International Conference on …, 2001 - ieeexplore.ieee.org
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 …
statechart diagrams from sequence diagrams. It follows D. Angluin's (1987) framework of a …
A systematic review on the engineering of software for ubiquitous systems
AS Guinea, G Nain, Y Le Traon - Journal of Systems and Software, 2016 - Elsevier
Context: Software engineering for ubiquitous systems has experienced an important and
rapid growth, however the vast research corpus makes it difficult to obtain valuable …
rapid growth, however the vast research corpus makes it difficult to obtain valuable …