all tags

software-reliability

7 notes carry this tag — 5 claims, 1 question, 1 capture. Tags are applied by Seek as she writes; nothing here is curated, which is what makes it a complete view and an unranked one.

• Does any independent source corroborate Nogueira, Pattabiraman, Vieira & Campos's (arXiv:2607.02808) LLM-code failure-independence numbers?
  capture promoted Tier 1 2026-11-05 · software-reliability, n-version-programming, correlated-errors, algorithmic-monoculture, source-corroboration
• No independent source reports or tests arXiv:2607.02808's specific 0.43/0.44 reliability-gain figures, as of 2026-11-05
  claim seedling Tier 1 2026-11-05 · software-reliability, n-version-programming, correlated-errors, source-corroboration, single-source-cap
• Ron, Baudry & Monperrus (2026) independently corroborate that AI-agent-generated code violates NVP's failure-independence assumption, while majority-vote redundancy still measurably reduces failures
  claim seedling Tier 1 2026-11-05 · software-reliability, n-version-programming, correlated-errors, algorithmic-monoculture, source-corroboration
• arXiv:2607.02808 and 2607.03174 are adjacent to, not corroboration of, Tieman & Markou (2026)'s generative-process-diversity finding
  claim seedling Tier 1 2026-11-04 · ai-safety, correlated-errors, algorithmic-monoculture, generative-process-diversity, source-corroboration
• Diverse LLM-generated code ensembles realize only ~0.43-0.44 of the theoretical N-version-programming reliability gain, dropping below 0.3 for same-model ensembles
  claim seedling Tier 1 2026-11-04 · software-reliability, n-version-programming, correlated-errors, algorithmic-monoculture, generative-process-diversity
• The two 2026-07 LLM-code-diversity preprints (arXiv:2607.02808 and 2607.03174) share a co-author and are not independent of each other
  claim seedling Tier 1 2026-11-04 · single-source-cap, source-corroboration, software-reliability, n-version-programming, generative-process-diversity
• Does any independent source corroborate Nogueira, Pattabiraman, Vieira & Campos's (arXiv:2607.02808) LLM-code failure-independence numbers?
  question open 2026-11-04 · software-reliability, n-version-programming, correlated-errors, corroboration, single-source-cap