Bug or not bug? analysing the reasons behind metamorphic relation violations

A Duque-Torres, D Pfahl, C Klammer… - … on Software Analysis …, 2023 - ieeexplore.ieee.org
Metamorphic Testing (MT) is a testing technique that can effectively alleviate the oracle
problem. MT uses Metamorphic Relations (MRs) to determine if a test case passes or fails …

Exploring a test data-driven method for selecting and constraining metamorphic relations

A Duque-Torres, D Pfahl, C Klammer… - 2023 49th Euromicro …, 2023 - ieeexplore.ieee.org
Identifying and selecting high-quality Metamorphic Relations (MRs) is a challenge in
Metamorphic Testing (MT). While some techniques for automatically selecting MRs have …

Inferring metamorphic relations from javadocs: A deep dive into the memo approach

A Duque-Torres, D Pfahl - International Conference on Product-Focused …, 2022 - Springer
Identifying and selecting suitable Metamorphic Relations is a complex process since it
necessitates a thorough grasp of the system under test and its problem domain. Recently, an …

Boosting Metamorphic Relation Prediction via Code Representation Learning: An Empirical Study

X Zheng, M Jiang, Z Quan Zhou - Software Testing, Verification …, 2024 - Wiley Online Library
Metamorphic testing (MT) is an effective testing technique having a broad range of
applications. One key task for MT is the identification of metamorphic relations (MRs), which …

Towards a Complete Metamorphic Testing Pipeline

A Duque-Torres, D Pfahl - 2023 IEEE International Conference …, 2023 - ieeexplore.ieee.org
Metamorphic Testing (MT) addresses the test oracle problem by examining the relationships
between input-output pairs in consecutive executions of the System Under Test (SUT) …

Selecting and Constraining Metamorphic Relations

A Duque-Torres - Proceedings of the 2024 IEEE/ACM 46th International …, 2024 - dl.acm.org
Software testing is a critical aspect of ensuring the reliability and quality of software systems.
However, it often poses challenges, particularly in determining the expected output of a …

The Metamorphic Lighthouse: Understanding the Input Data Space of Metamorphic Relations

A Duque-Torres, D Pfahl, C Klammer… - 2024 50th Euromicro …, 2024 - ieeexplore.ieee.org
Metamorphic Testing (MT) addresses the test oracle problem by defining how program
outputs should change in response to specific input changes. The relations between input …

Closing the Loop: Towards a Complete Metamorphic Testing Pipeline

A Duque-Torres, D Pfahl - International Conference on Product-Focused …, 2023 - Springer
Metamorphic Testing (MT) address the test oracle problem, which arises when there are no
practical means to verify the outputs of the System Under Test (SUT). Instead of just verifying …

Using Category Partition to Detect Metamorphic Relations

S Pedram, Y Labiche - Proceedings of the 9th ACM International …, 2024 - dl.acm.org
The Category Partition (CP) functional testing method has proven to be useful in various
contexts. It begins by identifying parameters and environment conditions on the basis of the …

Metamorphic Relation Generation: State of the Art and Research Directions

R Li, H Liu, PL Poon, D Towey, CA Sun, Z Zheng… - ACM Transactions on … - dl.acm.org
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 …