2 papers
cs.CE2026
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…
cs.SE2026
Minimum Complete MR Subsets under Semantic-Mutation Fault Models: A Support-Set Domination Boundary
Meng Li, Xiaohua Yang, Jie Liu +1
This paper asks when MR-subset selection is a real mutant-level requirement for minimum complete evidence in metamorphic testing rather than a coarse fault-class counting artifact.…