遇见数据集

Oracles That Cannot Fail: replication artifact

收藏
Zenodo2026-08-19 更新2026-08-20 收录
官方服务:

资源简介:

Mutant-level dataset and a self-contained reproduction program for the paper 'Oracles That Cannot Fail: Anchoring, and the Expectation That Moves With the Fault'. Covers a mutation analysis of twelve model-free property-test suites in a deployed air traffic control simulator, across six mutated targets and 48 mutation runs. Every published figure recomputes from the dataset alone; reproduce.mjs asserts each one and exits non-zero on disagreement. Mutant identities are opaque per-target labels assigned in a salted order, so no source position, replacement text or source ordering is derivable from the dataset.

提供机构:
Zenodo
创建时间:
2026-08-14
二维码
社区交流群
二维码
科研交流群
商业服务