Metamorphic testing: A review of challenges and opportunities

TY Chen, FC Kuo, H Liu, PL Poon, D Towey… - ACM Computing …, 2018 - dl.acm.org
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 …

Machine learning testing: Survey, landscapes and horizons

JM Zhang, M Harman, L Ma… - IEEE Transactions on …, 2020 - ieeexplore.ieee.org
This paper provides a comprehensive survey of techniques for testing machine learning
systems; Machine Learning Testing (ML testing) research. It covers 144 papers on testing …

A survey on metamorphic testing

S Segura, G Fraser, AB Sanchez… - IEEE Transactions on …, 2016 - ieeexplore.ieee.org
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 …

Fuzzing deep-learning libraries via automated relational api inference

Y Deng, C Yang, A Wei, L Zhang - Proceedings of the 30th ACM Joint …, 2022 - dl.acm.org
Deep Learning (DL) has gained wide attention in recent years. Meanwhile, bugs in DL
systems can lead to serious consequences, and may even threaten human lives. As a result …

Predictive mutation testing

J Zhang, Z Wang, L Zhang, D Hao, L Zang… - Proceedings of the 25th …, 2016 - dl.acm.org
Mutation testing is a powerful methodology for evaluating test suite quality. In mutation
testing, a large number of mutants are generated and executed against the test suite to …

Automatic testing and improvement of machine translation

Z Sun, JM Zhang, M Harman, M Papadakis… - Proceedings of the ACM …, 2020 - dl.acm.org
This paper presents TransRepair, a fully automatic approach for testing and repairing the
consistency of machine translation systems. TransRepair combines mutation with …

Fairea: A model behaviour mutation approach to benchmarking bias mitigation methods

M Hort, JM Zhang, F Sarro, M Harman - … of the 29th ACM joint meeting on …, 2021 - dl.acm.org
The increasingly wide uptake of Machine Learning (ML) has raised the significance of the
problem of tackling bias (ie, unfairness), making it a primary software engineering concern …

Metamorphic testing for software quality assessment: A study of search engines

ZQ Zhou, S Xiang, TY Chen - IEEE Transactions on Software …, 2015 - ieeexplore.ieee.org
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 …

Metamorphic testing: Testing the untestable

S Segura, D Towey, ZQ Zhou, TY Chen - IEEE Software, 2018 - ieeexplore.ieee.org
Metamorphic Testing: Testing the Untestable Page 1 46 IEEE SOFTWARE | PUBLISHED BY
THE IEEE COMPUTER SOCIETY 0740-7459/20©2020IEEE FEATURE: AUTOMATED …

Structure-invariant testing for machine translation

P He, C Meister, Z Su - Proceedings of the ACM/IEEE 42nd International …, 2020 - dl.acm.org
In recent years, machine translation software has increasingly been integrated into our daily
lives. People routinely use machine translation for various applications, such as describing …