{
  "added_at": "2026-10-20",
  "arxiv_id": "2609.36161",
  "arxiv_version_reviewed": "v1",
  "authors": [
    "Tianyu Liu",
    "Dingyuan Dai",
    "Yufan Du",
    "Zhen Yang"
  ],
  "bibtex_url": "https://awesomerea.org/papers/citations/paper-revivebench.bib",
  "code_url": null,
  "date_basis": "First arXiv v1 submission; no formal venue publication was verified.",
  "date_basis_zh": "采用 arXiv v1 首次提交日期；未核实正式会议或期刊出版。",
  "date_precision": "day",
  "description_en": "ReviveBench evaluates repair of nonrunning software and source-unavailable implementation of bounded computational and transactional engines from open specifications, using hidden reference-based checks. It also audits grading defects that can wrongly accept or reject reconstructions.",
  "description_zh": "ReviveBench 利用隐藏的参考检查，评估无法运行的软件修复，以及依据公开规范、在无法访问目标源码时实现限定范围的计算与事务引擎；同时审计可能误收或误拒重建结果的评分缺陷。",
  "doi": "10.48550/arxiv.2609.36161",
  "entry_url": "https://awesomerea.org/papers/paper-revivebench/",
  "entry_url_zh": "https://awesomerea.org/zh/papers/paper-revivebench/",
  "evidence_urls": [
    "https://arxiv.org/abs/2609.36161",
    "https://arxiv.org/html/2609.36161v1",
    "https://api.datacite.org/dois/10.48550/arxiv.2609.36161"
  ],
  "first_arxiv_date": "2026-09-28",
  "id": "paper-revivebench",
  "json_url": "https://awesomerea.org/papers/paper-revivebench/record.json",
  "kind": "research",
  "markdown_url": "https://awesomerea.org/papers/paper-revivebench/index.md",
  "markdown_url_zh": "https://awesomerea.org/zh/papers/paper-revivebench/index.md",
  "metadata_notes": "The four-author v1 identity matches arXiv and DataCite, which registered the arXiv DOI on 2026-09-30. The article uses the arXiv non-exclusive license. No author-linked public benchmark/verifier package or its code/data license was verified in the reviewed full text and focused search.",
  "metadata_notes_zh": "四位作者的 v1 身份与 arXiv、DataCite 一致；后者于 2026-09-30 登记 arXiv DOI。文章采用 arXiv 非独占许可。所审阅全文及定向检索未核实作者链接的公开基准／验证器包或其代码／数据许可。",
  "pdf_url": "https://arxiv.org/pdf/2609.36161v1",
  "project_url": null,
  "publication_date": "2026-09-28",
  "publication_status": "preprint",
  "record_type": "paper",
  "runtime_tested": false,
  "scope_limitations_en": "Studies ten revival and thirteen bounded engine tasks; reconstruction receives public specifications and three worked examples. Most model/task cells have one or two seeds; the reconstruction matrix reports the best eligible run. Excluded infrastructure failures and differing API adapters limit comparisons. Task-level pass thresholds do not require every check to pass, and CFD passes cannot establish numerical-solver capability. Verifier audits and contamination controls do not prove general equivalence or rule out prior exposure.",
  "scope_limitations_zh": "研究十个软件恢复任务及十三个限定范围的引擎任务；重建时提供公开规范与三个示例。大多数模型／任务组合只有一两个随机种子；重建结果矩阵报告符合条件的最佳运行。排除基础设施失败及使用不同 API 适配器会限制比较。任务通过阈值不要求每项检查全部通过，CFD 通过结果也不能证明数值求解器能力。验证器审计与污染控制不构成一般等价证明，也无法排除先前接触相关内容。",
  "targets": [
    "app"
  ],
  "title": "From Dead Code and Static Requirements to Working Engines: Software Revival with Coding Agents",
  "title_zh": "从失效代码与静态需求到可运行引擎：利用编程智能体恢复软件",
  "url": "https://arxiv.org/abs/2609.36161",
  "venue": "arXiv",
  "verification": "source-reviewed",
  "verified_at": "2026-10-20",
  "why_fits_en": "Connects software reconstruction with audits of the tests used to judge its correctness.",
  "why_fits_zh": "将软件重建与用于判断其正确性的测试审计联系起来。",
  "year": 2026
}