3 papers
cs.SE2026
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…
cs.CL2026
Selective Latent Thinking: Adaptive Compression of LLM Reasoning Chains
Hui Xie, Jie Liu, Ziyue Qiao +1
Explicit chain-of-thought (CoT) reasoning substantially improves the reasoning ability of large language models (LLMs), but incurs high inference cost due to lengthy autoregressive…
cs.SE2026
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…