K:Independent verification and oracles
Independent verification and oracles
Editorial topic mappings connect related questions across sources and book chapters.
SE@PoliMi bibliography 39
- W011 — The Productivity-Reliability Paradox: Specification-Driven Governance for AI-Augmented Software Development
Farrag · 2026 - W028 — The AI Revolution in Software Development
Relyea · 2026 - W032 — Understanding the Impact of AI Code Assistants on Security API Usage
Mousavi · 2026 - W045 — Is Vibe Coding Safe? Benchmarking Vulnerability of Agent-Generated Code in Real-World Tasks
Zhao · 2025 - W059 — AI-Generated Smells: An Analysis of Code and Architecture in LLM- and Agent-Driven Development
Zhu · 2026 - W061 — 2025 GenAI Code Security Report
Veracode · 2025 - W062 — Vibe Security Radar
Zhao · 2026 - W063 — An Endless Stream of AI Slop: How Developers Discuss the Burden of AI-Assisted Software Development
Baltes · 2026 - W067 — (Don't) Trust, but (Don't) Verify: Developers' Attention to Security in AI-Generated Code
Khalid · 2026 - W069 — Same Scrutiny, More Time: Eye Tracking Insights into Reviewing LLM-Labelled Code
Khojah · 2026 - W072 — AI-to-AI Code Reviews of GitHub Pull Requests
Selvanayagam · 2026 - W075 — Self-Correction Bench: Uncovering and Addressing the Self-Correction Blind Spot in LLMs
Tsui · 2026 - W076 — SWR-Bench: Assessing LLM Performance in Real-World Code Review Comment Generation
Zeng · 2026 - W077 — Evaluating and Mitigating the Misguidance Effect of Buggy Code in LLM-Generated Unit Tests
Zhao · 2026 - W079 — Correlated Errors in Large Language Models
Kim · 2025 - W080 — Unit Testing Past vs. Present: Examining LLMs' Impact on Defect Detection and Efficiency
Ramler · 2025 - W086 — Quality Evaluation of Modern Code Reviews Through Intelligent Biometric Program Comprehension
Hijazi · 2023 - W087 — Do as AI say: susceptibility in deployment of clinical decision-aids
Gaube · 2021 - W091 — Automation bias and verification complexity: a systematic review
Lyell · 2017 - W092 — Complacency and Bias in Human Use of Automation: An Attentional Integration
Parasuraman · 2010 - W093 — Automating Low-Risk Code Review at Meta: RADAR, Risk Calibration, and Review Efficiency
Adams · 2026 - W095 — Beyond Code Generation: Reliability, Verification, and Cost Economics in the Agentic Software Development Lifecycle
Bhati · 2026 - W096 — Go Home Copilot, You're Drunk: Understanding Developer Responses to Agent-Generated Code Review Comments
Cynthia · 2026 - W097 — Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions
Kaufman · 2026 - W100 — The End of Code Review: Coding Agents Supersede Human Inspection
Monperrus · 2026 - W101 — Articulate but Wrong: Self-Review Failures in LLM-Based Code Modernization
Purnachandra Reddy · 2026 - W102 — Cross-Model LLM Code Review: Should You Use Claude to Review Codex or Vice Versa?
Xiang · 2026 - W108 — Do LLM Evaluators Prefer Themselves for a Reason?
Chen · 2025 - W111 — Many SWE-bench-Passing PRs Would Not Be Merged into Main
Whitfill · 2026 - W116 — Using Biometrics to Understand AI-Assisted Coding Performance and its Perception
Burelli · 2026 - W118 — How AI Impacts Skill Formation
Shen · 2026 - W120 — Automation, AI, and the Intergenerational Transmission of Knowledge
Ide · 2026 - W121 — Your Brain on ChatGPT: Accumulation of Cognitive Debt when Using an AI Assistant for Essay Writing Task
Kosmyna · 2025 - W148 — SOEN-101: Code Generation by Emulating Software Process Models Using Large Language Model Agents
Lin · 2026 - W151 — Blueprint First, Model Second: A Framework for Deterministic LLM Workflow
Qiu · 2026 - W155 — ChatGPT: Friend or Foe When Comprehending and Changing Unfamiliar Code
Anderson · 2026 - W156 — LACY: Simulating Expert Mentoring for Software Onboarding with Code Tours
Kara · 2026 - W162 — 40 Years of Designing Code Comprehension Experiments: A Systematic Mapping Study
Wyrich · 2024 - W192 — AIDev: Studying AI Coding Agents on GitHub
Li · 2026
Addy Osmani 15
- O001 — The Code Nobody Reads
Addy Osmani · 2026-09-28 - O002 — Brownfield Agentic Engineering
Addy Osmani · 2026-09-14 - O005 — Human judgment doesn't leave the software factory. It relocates.
Addy Osmani · 2026-08-21 - O007 — Agentic Code Quality
Addy Osmani · 2026-08-08 - O009 — Own the Outer Loop
Addy Osmani · 2026-07-09 - O018 — How to write a good spec for AI agents
Addy Osmani · 2026-01-19 - O019 — Code Review in the Age of AI
Addy Osmani · 2026-01-05 - O021 — My LLM coding workflow going into 2026
Addy Osmani · 2025-12-18 - O023 — Treat AI-Generated code as a draft
Addy Osmani · 2025-11-25 - O028 — Vibe coding is not the same as AI-Assisted engineering.
Addy Osmani · 2025-08-30 - O033 — The "Trust, But Verify" Pattern For AI-Assisted Engineering
Addy Osmani · 2025-06-09 - O037 — Vibe Coding is not an excuse for low-quality work
Addy Osmani · 2025-04-18 - O043 — Applied "Software Engineering at Google"
Addy Osmani · 2025-03-06 - O049 — The 70% problem: Hard truths about AI-assisted coding
Addy Osmani · 2024-12-04 - O051 — Agentic Verification
Addy Osmani · 2026-10-14
The Pragmatic Engineer 9
- P006 — How to debug large, distributed systems: Antithesis
Gergely Orosz; Elin Nilsson · 2024-11-12 - P014 — How AI-assisted coding will change software engineering: hard truths
Gergely Orosz; Addy Osmani · 2025-01-05 - P043 — Vibe Coding as a software engineer
Gergely Orosz; Elin Nilsson · 2025-06-03 - P075 — A pragmatic guide to LLM evals for devs
Gergely Orosz; Hamel Husain · 2025-12-02 - P082 — The Product-Minded Engineer: The importance of good errors and warnings
Gergely Orosz (interview/introduction); Drew Hoskins (excerpt) · 2026-01-20 - P087 — How Codex is built
Gergely Orosz · 2026-02-17 - P115 — Why Ramp built its own in-house coding agent, Inspect
Gergely Orosz; Jessica Salmon; Ivan Klaric · 2026-08-25 - P122 — The state of the tech industry in 2026
Gergely Orosz · 2026-10-06 - P124 — Building resilient AI-powered software, and planning for when things go wrong
Gergely Orosz (introduction); Sam Newman (excerpts) · 2026-10-13
Martin Fowler’s website 10
- F002 — Median - A tale in three functions
Birgitta Böckeler · 2023-07-27 - F006 — TDD with GitHub Copilot
Paul Sobocinski · 2023-08-17 - F008 — How to tackle unreliability of coding assistants
Birgitta Böckeler · 2023-11-29 - F010 — Building an AI agent application to migrate a tech stack
Birgitta Böckeler · 2024-08-20 - F014 — Guiding an LLM for Robust Java ByteBuffer Code
Unmesh Joshi · 2025-04-17 - F018 — Autonomous coding agents: A Codex example
Birgitta Böckeler · 2025-06-04 - F026 — Harness Engineering - first thoughts
Birgitta Böckeler · 2026-02-17 - F031 — TDD inside the agent loop - theater or actual value?
Birgitta Böckeler · 2026-08-10 - F033 — Are Harnesses Worth the Cost?
Naresh Jain · 2026-10-13 - F035 — When Software Meets Hardware
Kuldeep Singh · 2026-10-15
Earlier Non-Deterministic books 46
- B005 — Vibe Coding vs. AI-Assisted Engineering
Enrico Papalini · - B007 — New Workflows for the AI Era
Enrico Papalini · - B013 — PART I: Core Practices
Enrico Papalini · - B026 — Development Practices Enhanced by AI
Enrico Papalini · - B034 — Implementation Guide and Solutions
Enrico Papalini · - B036 — Introduzioni e postfazione — The Bigger Picture
Enrico Papalini · - B037 — Preface
Enrico Papalini · - B038 — The Shift
Enrico Papalini · - B039 — The Process
Enrico Papalini · - B040 — The Toolkit
Enrico Papalini · - B042 — Advanced Patterns
Enrico Papalini · - B044 — Templates
Enrico Papalini · - B045 — Complete Implementation Examples
Enrico Papalini · - B047 — Introduzioni alle parti — SDD, seconda edizione
Enrico Papalini · - B048 — Preface
Enrico Papalini · - B049 — The Shift
Enrico Papalini · - B050 — The Process: Four Phases, Four Gates
Enrico Papalini · - B054 — The Specification Toolkits: Spec Kit and OpenSpec (openspec.dev)
Enrico Papalini · - B056 — Autonomous Loops and Behavioral Foundations
Enrico Papalini · - B059 — Constitution and Architecture: The Framework Foundation
Enrico Papalini · - B060 — The Agent Pipeline and Gates
Enrico Papalini · - B063 — Advanced Patterns: From Frameworks to Practice
Enrico Papalini · - B068 — Template Reference
Enrico Papalini · - B071 — Spec Kit
Enrico Papalini · - B073 — BMAD Method
Enrico Papalini · - B075 — ralph-copilot
Enrico Papalini · - B076 — Spec Loop Engine
Enrico Papalini · - B081 — AIDD
Enrico Papalini · - B085 — The Continuous Development Revolution
Enrico Papalini · - B086 — The Philosophy of Deterministic Failure
Enrico Papalini · - B088 — The Ralph Loop Pattern
Enrico Papalini · - B089 — Task Decomposition for Machines
Enrico Papalini · - B091 — Quality Gates and Backpressure
Enrico Papalini · - B092 — Advanced Prompting for Autonomous Systems
Enrico Papalini · - B097 — Complete Implementation Guide
Enrico Papalini · - B098 — Tool Reference
Enrico Papalini · - B099 — Troubleshooting and Debugging
Enrico Papalini · - B100 — Ralph Loops with VS Code and GitHub Copilot
Enrico Papalini · - B101 — References and Sources
Enrico Papalini · - B103 — Summary
Enrico Papalini · - B104 — Non-Deterministic Loop Engineering: A Critical Assessment
Enrico Papalini · - B107 — The Ralph Loop: Persistent Progress Through Fresh Context
Enrico Papalini · - B108 — Building a Full Local AI Loop
Enrico Papalini · - B109 — Choosing the Right Loop
Enrico Papalini · - B110 — References — 85 voci bibliografiche
Enrico Papalini · - B111 — Glossary
Enrico Papalini ·
Software Engineering Practices 17
- PAT:005 — Feature List as Immutable Contract
- PAT:014 — Deterministic Failure Harness
- PAT:015 — Regression Safety Net
- PAT:027 — Maker–Checker: Separate Production from Acceptance
- PAT:043 — Spec-First Generation
- PAT:044 — Test-Driven AI Development
- PAT:061 — Consistency Analysis Gate
- PAT:064 — Specification Scale Management
- PAT:066 — Constitution-Driven Development
- PAT:067 — Clarify Before Plan
- PAT:068 — Progressive Specification
- PAT:069 — Red-Team Specification
- PAT:070 — Gap-Closure Analysis
- PAT:071 — Ambiguity Scoring
- PAT:076 — Gate-Enforced Progression
- PAT:080 — Adversarial Agent Pattern
- PAT:082 — Evidence-Pack Provenance