ZHOU , Zhi Quan

Two of the key challengesin software testing are the automated gen eration of test cases, and the identification of failures by checking test outputs. Both challenges are effectively addressed by meta morphic testing (MT), a software testing technique where failures are not revealed by checking an individual concrete output, but by checking the...

Ministerio de Ciencia e Innovación RTI2018-101204-B-C21 (HORATIO)

This document is an extended abstract of an IEEE Software paper, "Metamorphic Testing: Testing the Untestable," presented as a J1C2 (Journal publication first, Conference presentation following) at the IEEE Computer Society signature conference on Computers, Software and Applications (COMPSAC 2019), hosted by Marquette University,...

What if we could know that a program is buggy, even if we could not tell whether or not its observed output is correct? This is one of the key strengths of metamorphic testing, a technique where failures are not revealed by checking an individual concrete output, but by checking the relations among the inputs and outputs of multiple...