5 papers
A semantic mutation metric for metamorphic relation adequacy in scientific computing programs
Meng Li, Xiaohua Yang, Jie Liu +1
Context. Metamorphic Testing addresses the test-oracle problem in scientific computing, but classical Mutation Score operates on syntactic AST mutations and misses domain semantics…
Domain-Validity-Gated Metamorphic Testing of Scientific ML Surrogates
Meng Li, Xiaohua Yang, Jie Liu +1
Scientific machine-learning (SciML) surrogates approximate expensive simulations, but exact expected outputs for arbitrary inputs are unavailable (the oracle problem). Metamorphic…
Adapting the Interface, Not the Model: Runtime Harness Adaptation for Deterministic LLM Agents
Tianshi Xu, Huifeng Wen, Meng Li
LLM agents are shaped not only by their language models, but also by the runtime harness that mediates observation, tool use, action execution, feedback interpretation, and traject…
Symbolic Density Estimation for Discrete Distributions
Ziwen Liu, Meng Li
Discrete probability laws underpin statistical modeling, yet the catalog of interpretable distributions has expanded only gradually through centuries of case-by-case mathematical d…
NOETHER: A Constructive Framework for Metamorphic Pattern Discovery from Operator Algebras
Meng Li, Xiaohua Yang, Jie Liu +1
Context. Metamorphic Testing is recognised in IEEE/ISO software-testing standards and increasingly recommended for AI systems, but its progress is bottlenecked by metamorphic relat…