Semantic-Mutation Fault Models
No mentions found
This entity hasn't been tracked yet, or Iris is still building its knowledge base.
Related Articles from SNS
Minimum Complete MR Subsets under Semantic-Mutation Fault Models: A Support-Set Domination Boundary
arXiv:2606.08269v1 Announce Type: new Abstract: 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. We define a layer-relative completeness criterion over an admitted mutant--draw coverage universe. The central result is a support-set domination boundary: it states when class-level abstraction is safe and when mutant-level MR minimization is necessary.