AI RESEARCH
A semantic mutation metric for metamorphic relation adequacy in scientific computing programs
arXiv CS.LG
•
ArXi:2605.17437v1 Announce Type: cross Context. Metamorphic Testing addresses the test-oracle problem in scientific computing, but classical Mutation Score operates on syntactic AST mutations and misses domain semantics. Objective. We propose the Semantic Mutation Score (SMS), built on five domain-semantic operators (Conservation Erosion, Operator Substitution, Hyperparameter, Trajectory Flip, Structural Injection). SMS degenerates almost everywhere to MS in a characterised limit, so any SMS-based.