Defect4MR: An Industrial-Grade Benchmark of Real, Reproduced Defects for Metamorphic Relation Research
收藏官方服务：
资源简介：
A curated benchmark of real defects from 18 widely-used scientific-computing libraries, adjudicated into 34 fully-verified buggy-vs-fixed defect pairs, each mapped to a discriminating metamorphic relation. Includes a pre-registered four-group mutation study (pattern MR vs literature baselines vs random MR vs mechanical ablation), a real-defect-face master table, a manual equivalence audit, and reproducible statistics. Supports research on MR effectiveness, MR selection, and MR identification.
提供机构：
Zenodo创建时间：
2026-07-05
