Software engineering comprehends several disciplines devoted to prevent and remedy
malfunctions and to warrant adequate behaviour. Testing, the subject of this paper, is a …

The recent active development of Internet of Things (IoT) solutions in various domains has
led to an increased demand for security, safety, and reliability of these systems. Security and …

Testing is an indispensable part of software development efforts. It helps to improve the
quality of software systems by finding bugs and errors during development and deployment …

Testing plug-in-based systems is challenging due to complex interactions among many
different plug-ins, and variations in version and configuration. The objective of this paper is …

Software reuse can improve productivity, but does not exempt developers from the need to
test the reused code into the new context. For this purpose, we propose here specific …

In developing nations, the implementation of Foundational Identity Systems (FIDS) has
optimised service delivery and inclusive economic growth. Cross-border e-government will …

Regression testing, as an important part of the software life cycle, ensures the validity of
modified software. Researchers' focus of this research is on functional requirement-based …

Automation systems must primarily be deterministic and reliable, especially in safety-critical
environments. With recent trends such as mass customization or Industry 4.0, there is an …

In component-based development, the correctness of a system depends on the correctness
of the individual components and on their interactions. Model-based testing is a way of …

Real-time systems modeling and verification is a complex task. In many cases, formal
methods have been employed to deal with the complexity of these systems, but checking …