Unsupervised machine learning is the training of an artificial intelligence system using
information that is neither classified nor labeled, with a view to modeling the underlying …

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 addresses the issue of the oracle problem by comparing results
transformation from multiple test executions. The relationship that governs the output …

Automation of test oracles is one of the most challenging facets of software testing, but
remains comparatively less addressed compared to automated test input generation. Test …

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 …

Metamorphic Relations (MRs) play a key role in determining the fault detection capability of
Metamorphic Testing (MT). As human judgement is required for MR identification, systematic …

Metamorphic testing is a technique that makes use of some necessary properties of the
software under test, termed as metamorphic relations, to construct new test cases, namely …

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

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 …