Saved in:
Bibliographic Details
Main Authors: Zheng, Zheng, Zhou, Zenghui, Xu, Yinwang, Ren, Daixu, Chen, Tsong Yueh
Format: Preprint
Published: 2026
Subjects:
Online Access:https://arxiv.org/abs/2605.13898
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866911683352461312
author Zheng, Zheng
Zhou, Zenghui
Xu, Yinwang
Ren, Daixu
Chen, Tsong Yueh
author_facet Zheng, Zheng
Zhou, Zenghui
Xu, Yinwang
Ren, Daixu
Chen, Tsong Yueh
contents Large language models (LLMs) have introduced substantial challenges to software quality assurance due to their generative, probabilistic, and open-ended nature, which intensifies the oracle problem and limits the applicability of traditional testing methods. Metamorphic testing (MT), which checks necessary relations among multiple related executions rather than relying on exact expected outputs, has emerged as a promising approach for testing LLMs and other oracle-deficient systems. At the same time, the strong semantic understanding, reasoning, and code generation capabilities of LLMs create new opportunities to automate the traditionally labor-intensive phases of MT. This survey systematically reviews 93 primary studies and characterizes this reciprocal relationship as the bidirectional empowerment of MT and LLMs. We propose a taxonomy spanning two complementary directions: MT for LLMs, which uses MT to verify, validate, assess, and understand LLMs and LLM-based systems across issues such as hallucination, fairness, robustness, code reliability, retrieval-augmented generation, dialogue, and autonomous agents; and LLMs for MT, which leverages LLMs to support metamorphic relation discovery, input transformation and synthesis, executable test implementation, and agentic closed-loop testing. By synthesizing these developments, this survey provides a structured foundation for understanding the evolving synergy between MT and LLMs and highlights future directions for building more rigorous, scalable, and trustworthy AI quality assurance methodologies.
format Preprint
id arxiv_https___arxiv_org_abs_2605_13898
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle Bidirectional Empowerment of Metamorphic Testing and Large Language Models: A Systematic Survey
Zheng, Zheng
Zhou, Zenghui
Xu, Yinwang
Ren, Daixu
Chen, Tsong Yueh
Software Engineering
Large language models (LLMs) have introduced substantial challenges to software quality assurance due to their generative, probabilistic, and open-ended nature, which intensifies the oracle problem and limits the applicability of traditional testing methods. Metamorphic testing (MT), which checks necessary relations among multiple related executions rather than relying on exact expected outputs, has emerged as a promising approach for testing LLMs and other oracle-deficient systems. At the same time, the strong semantic understanding, reasoning, and code generation capabilities of LLMs create new opportunities to automate the traditionally labor-intensive phases of MT. This survey systematically reviews 93 primary studies and characterizes this reciprocal relationship as the bidirectional empowerment of MT and LLMs. We propose a taxonomy spanning two complementary directions: MT for LLMs, which uses MT to verify, validate, assess, and understand LLMs and LLM-based systems across issues such as hallucination, fairness, robustness, code reliability, retrieval-augmented generation, dialogue, and autonomous agents; and LLMs for MT, which leverages LLMs to support metamorphic relation discovery, input transformation and synthesis, executable test implementation, and agentic closed-loop testing. By synthesizing these developments, this survey provides a structured foundation for understanding the evolving synergy between MT and LLMs and highlights future directions for building more rigorous, scalable, and trustworthy AI quality assurance methodologies.
title Bidirectional Empowerment of Metamorphic Testing and Large Language Models: A Systematic Survey
topic Software Engineering
url https://arxiv.org/abs/2605.13898