Pith. sign in

REVIEW 4 cited by

Metamorphic Relation Generation: State of the Art and Visions for Future Research

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2406.05397 v2 pith:27HOQ7EQ submitted 2024-06-08 cs.SE

Metamorphic Relation Generation: State of the Art and Visions for Future Research

Rui Li , Huai Liu , Pak-Lok Poon , Dave Towey , Chang-Ai Sun , Zheng Zheng , Zhi Quan Zhou , Tsong Yueh Chen This is my paper
classification cs.SE
keywords metamorphicrelationsresearchtestinggenerationsoftwarestatevisions
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

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 variety of software systems. Metamorphic relations, the core component of metamorphic testing, have continuously attracted research interests from both academia and industry. In the last decade, a rapidly increasing number of studies have been conducted to systematically generate metamorphic relations from various sources and for different application domains. In this article, based on the systematic review on the state of the art for metamorphic relations' generation, we summarize and highlight visions for further advancing the theory and techniques for identifying and constructing metamorphic relations, and discuss potential research trends in related areas.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 4 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Falsification-Based Verification of LLM-Generated Optimization Models: Sound Test Batteries and Their Detection Limits

    cs.SE 2026-07 conditional novelty 8.0

    A sound, threshold-free battery of optimization-theoretic tests can catch unfaithful LLM-generated MILP models while never flagging faithful ones, and provably cannot catch certain error classes.

  2. NormWorlds-CF: Solver-Verified Counterfactual Normative Reasoning with Metamorphic-Relation GRPO

    cs.CL 2026-07 conditional novelty 6.5

    Solver-verified NormWorlds-CF and MR-GRPO show that answer-only training is an unsafe proxy and that class-conditioned metamorphic rewards improve balanced counterfactual change structure.

  3. Repository-Aware Metamorphic Relation Generation for Augmented Reality Applications using Large Language Models

    cs.SE 2026-07 conditional novelty 6.0

    A context-aware LLM pipeline generates metamorphic relations for 142 AR repositories; hierarchical context plus agentic deliberation yields 3,760 refined MRs that human raters judge mostly valid and testable, with 5 c...

  4. NormWorlds-CF: Solver-Verified Counterfactual Normative Reasoning with Metamorphic-Relation GRPO

    cs.CL 2026-07 conditional novelty 6.0

    NormWorlds-CF provides solver-verified normative reasoning tasks without LLM judges; answer-only RL saturates verdicts but not falsification, and class-conditioned GRPO improves some structural change fields.