Concurrent programs are normally composed of multiple concurrent threads sharing
memory space. These threads are often interleaved, which may lead to some non …

Metamorphic Testing (MT) alleviates the oracle problem by defining oracles based on
metamorphic relations (MRs) that govern multiple related inputs and their outputs. However …

The Multi-Agent Path Finding (MAPF) problem, ie, the scheduling of multiple agents to reach
their destinations, has been widely investigated. Testing MAPF systems is challenging, due …

Context: Metamorphic testing (MT) has been successfully applied to a wide scope of
software systems. In these applications, the testing results of MT form the basis for drawing …

Deep Learning (DL) components are increasing their presence in safety and mission-critical
software systems. To ensure a high dependability of DL systems, robust verification methods …

Metamorphic testing (MT) was introduced about a quarter of a century ago. It is increasingly
being accepted by researchers and the industry as a useful testing technique. The studies …

Metamorphic testing, thanks to its high failure-detection effectiveness especially in the
absence of test oracle, has been widely applied in both the traditional context of software …

Low-code development platforms (LCDPs) are increasingly being introduced and leveraged
by major IT enterprises to lower the threshold and promote the efficiency of software …

Metamorphic testing has become one mainstream technique to address the notorious oracle
problem in software testing, thanks to its great successes in revealing real-life bugs in a wide …

Delivery systems operated by autonomous robots use schedulers to allocate robots to the
different orders. Such schedulers are often optimisation-based algorithms that aim to …