Metamorphic testing is an approach to both test case generation and test result verification.
A central element is a set of metamorphic relations, which are necessary properties of the …

A test oracle determines whether a test execution reveals a fault, often by comparing the
observed program output to the expected output. This is not always practical, for example …

Software fault localization, the act of identifying the locations of faults in a program, is widely
recognized to be one of the most tedious, time consuming, and expensive-yet equally critical …

Software testing is an approach that ensures the quality of software through execution, with
a goal being to reveal failures and other problems as quickly as possible. Test case …

Metamorphic testing is a testing technique that can be used to verify the functional
correctness of software in the absence of an ideal oracle. This paper extends metamorphic …

In software testing, something which can verify the correctness of test case execution results
is called an oracle. The oracle problem occurs when either an oracle does not exist, or exists …

Finding and fixing bugs are time-consuming activities in software development. Spectrum-
based fault localization aims to identify the faulty position in source code based on the …

A tactile display for use in navigation has been designed and evaluated. In these
experiments, the ability of subjects to identify patterns of vibrotactile stimulation was tested …

Metamorphic testing is a promising technique for testing software systems when the oracle
problem exists, and has been successfully applied to various application domains and …

Quantum Computing is regarded with a growing sense of excitement and expectation. While
the preliminary evidences of its practical interest accumulate, there are numerous …