遇见数据集

Public Result Record for Hard-Benign Control Failure in a Historical RTL Mutation-Assessment Campaign

收藏
Zenodo2026-07-29 更新2026-08-13 收录
官方服务:

资源简介:

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
二维码
社区交流群
二维码
科研交流群
商业服务