Public Result Record for Hard-Benign Control Failure in a Historical RTL Mutation-Assessment Campaign
收藏官方服务:
资源简介:
Public result-record, Supplementary Information, reproducibility inventory, and integrity-verification package accompanying the manuscript Hard-Benign Control Failure in a Historical RTL Mutation-Assessment Campaign. The package preserves the recorded classification counts (TP, FP, TN, FN) = (2, 1, 4, 3), all ten labels and decisions, the qualified BEN_HO4 mechanism_consistent_run_unbound annotation, and source-bound visualization values. It contains no raw traces, retained scientific inputs, hardware sources, or claim of clean independent reproduction. It does not establish specificity, calibrated Type-I or family-wise error control, physical leakage, or validated detector performance.
提供机构:
Zenodo创建时间:
2026-07-19



