Continuous Integration and Delivery (CI/CD) practices have shown several benefits for
software development and operations, such as faster release cycles and early discovery of …

Embedded software quality is a critical concern in modern engineering, impacting a broad
range of applications from spacecraft to complex control systems. Requirements …

Energy efficiency is an increasingly important quality attribute for software, particularly for
mobile apps. Just like any other software attribute, energy behavior of mobile apps should …

Modern software systems operate in complex and changing environments and are exposed
to multiple sources of uncertainty. Testing methods shall be tailored to uncertainty as a first …

Nowadays, there exists an increasing demand for reliable software systems able to fulfill
their requirements in different operational environments and to cope with uncertainty that …

Complex software systems, eg, Cyber-Physical Systems (CPSs), interact with the real world;
thus, they often behave unexpectedly in uncertain environments. Testing such systems is …

Dynamic vehicle detection requires the transmission of large amounts of data collected by
different types of sensors to the edge computing nodes. This is likely to cause network …

The rising popularity of mobile apps deployed on battery-constrained devices has motivated
the need for effective energy-aware testing techniques. However, currently there is a lack of …

We present a method for automated metamorphic fuzzing of software libraries, implemented
as an open-source tool, MF++, targeting C++ libraries. Our approach works by automatically …

Automatic test oracle generation is a bottleneck in realizing full automation of the entire
software testing process. This study proposes a new method for automatically generating a …