ai-driven-dev-wiki
Search
Search
Dark mode
Light mode
Explorer
verification
52 items with this tag.
Oct 16, 2026
SpecRover
coding-agents
code-review
verification
Oct 16, 2026
NS2
agent-architecture
orchestration
verification
multi-agent
Oct 16, 2026
SpecRover: Code Intent Extraction via LLMs
coding-agents
code-review
verification
software-engineering
Oct 16, 2026
Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering
spec-driven-development
governance
software-quality
verification
enterprise
Oct 16, 2026
Reality Is the Final Verifier: On Two Key Gaps in Agentic Software Engineering
verification
assurance
reward-hacking
agentic-engineering
human-in-the-loop
Oct 16, 2026
Enhancing Formal Software Specification with Artificial Intelligence
spec-driven-development
software-engineering
verification
Oct 16, 2026
Code as Agent Harness: Toward Executable, Verifiable, and Stateful Agent Systems
agent-harness
survey
agent-architecture
multi-agent-systems
verification
Oct 16, 2026
Agentic Agile-V: From Vibe Coding to Verified Engineering in Software and Hardware Development
agents
verification
software-process
hardware
Oct 16, 2026
Verification loop
verification
agentic-coding
Oct 16, 2026
Verification Ladder
loop-engineering
verification
Oct 16, 2026
Verification Debt
agents
verification
software-process
Oct 16, 2026
Verification Budget
verification
software-factory
quality-gates
Oct 16, 2026
Two-Gap Framework
verification
assurance
reward-hacking
requirements
Oct 16, 2026
System Harness
agent-architecture
agent-tooling
orchestration
verification
Oct 16, 2026
Specification Governance Reference Model
spec-driven-development
governance
verification
software-quality
Oct 16, 2026
Software Factory
coding-agents
agents
code-review
verification
software-process
Oct 16, 2026
Review auto-correction loop
agentic-code-review
code-review
verification
Oct 16, 2026
PR Contract
code-review
verification
ai-assisted-programming
Oct 16, 2026
Plan–Execute–Verify Loop
agent-architecture
verification
agent-tooling
sandboxing
Oct 16, 2026
Iterative refinement
prompting
agentic-coding
verification
Oct 16, 2026
Guides and sensors
harness-engineering
coding-agents
verification
Oct 16, 2026
Execution Harness
agent-architecture
agent-tooling
verification
agent-state
orchestration
Oct 16, 2026
Executable attention
harness-engineering
coding-agents
verification
Oct 16, 2026
Digital Twin Universe
coding-agents
agents
evaluation
verification
agent-tooling
Oct 16, 2026
Deterministic quality gate
agents
verification
software-process
Oct 16, 2026
Dark Software Factory
software-factory
human-oversight
verification
Oct 16, 2026
Critic Model
coding-agents
verification
evaluation
Oct 16, 2026
Backpressure
agentic-coding
verification
Oct 16, 2026
Assurance-Revision Loop
verification
assurance
outer-loop
human-in-the-loop
deployment
Oct 16, 2026
Agentic Agile-V
agents
verification
software-process
Oct 16, 2026
Agent Harness
agent-architecture
agent-tooling
verification
agent-state
benchmarking
Oct 16, 2026
Adversarial verification
agentic-code-review
verification
sub-agents
Oct 16, 2026
Your job is to deliver code you have proven to work
code-review
verification
human-oversight
coding-agents
tdd
Oct 16, 2026
什么是「驾驭工程」（Harness Engineering）？
harness-engineering
claude-code
multi-agent
context-engineering
verification
Oct 16, 2026
Software Factories, Light and Dark
software-factory
verification
human-oversight
harness-engineering
Oct 16, 2026
More than just code review
coding-agents
code-review
verification
human-oversight
agentic-engineering
Oct 16, 2026
Maintainability sensors for coding agents
harness-engineering
coding-agents
verification
code-quality
Oct 16, 2026
Learning to Verify AI-Generated Code
coding-agents
verification
evaluation
Oct 16, 2026
Human judgment doesn't leave the software factory. It relocates.
software-factory
human-oversight
verification
agentic-engineering
Oct 16, 2026
How StrongDM's AI team build serious software without even looking at the code
coding-agents
agents
code-review
verification
evaluation
Oct 16, 2026
Harness engineering for coding agent users
coding-agents
harness-engineering
verification
Oct 16, 2026
From Coding Loop to Business Loop: Thinking AI Engineering Holistically
ai-engineering
verification
production-feedback
ai-integration
Oct 16, 2026
Context-Efficient Backpressure for Coding Agents
context-engineering
coding-agents
verification
Oct 16, 2026
Comprehension Debt - the hidden cost of AI generated code.
code-review
ai-assisted-programming
human-oversight
verification
Oct 16, 2026
Building agents with the Claude Agent SDK
agent-architecture
agent-tooling
context-engineering
verification
Oct 16, 2026
Brownfield Agentic Engineering
agentic-engineering
legacy-code
verification
harness-engineering
Oct 16, 2026
Are Harnesses Worth the Cost?
harness-engineering
coding-agents
verification
contract-testing
Oct 16, 2026
AI writes code faster. Your job is still to prove it works.
code-review
ai-assisted-programming
verification
human-oversight
Oct 16, 2026
AI 编程 2025 总结：国产模型“能力追平”，国产编程工具还在“情感陪伴”
coding-agents
ai-assisted-programming
spec-driven-development
verification
industry
Oct 16, 2026
Agentic Skill Decay
agentic-engineering
human-oversight
verification
Oct 16, 2026
Agentic Code Quality
agentic-engineering
verification
code-review
Oct 16, 2026
AIに「レビューして」はもう古い？「敵対的検証」のすすめ
agentic-code-review
claude-code
sub-agents
verification