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 …

Context: Advancements in machine learning (ML) lead to a shift from the traditional view of
software development, where algorithms are hard-coded by humans, to ML systems …

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 …

Metamorphic testing of driverless cars Page 1 MARCH 2019 | VOL. 62 | NO. 3 |
COMMUNICATIONS OF THE ACM 61 DOI:10.1145/3241979 Metamorphic testing can test …

Automated program repair is the problem of automatically fixing bugs in programs in order to
significantly reduce the debugging costs and improve the software quality. To address this …

This extensively classroom-tested text takes an innovative approach to explaining software
testing that defines it as the process of applying a few precise, general-purpose criteria to a …

Big Data Systems (BDSs) are an emerging class of scalable software technologies whereby
massive amounts of heterogeneous data are gathered from multiple sources, managed …

Web Application Programming Interfaces (APIs) specify how to access services and data
over the network, typically using Web services. Web APIs are rapidly proliferating as a key …

Metamorphic Testing: Testing the Untestable Page 1 46 IEEE SOFTWARE | PUBLISHED BY
THE IEEE COMPUTER SOCIETY 0740-7459/20©2020IEEE FEATURE: AUTOMATED …

Modern information technology paradigms, such as online services and off-the-shelf
products, often involve a wide variety of users with different or even conflicting objectives …