RSSAmplifier

Blog

blog

blog.nikosbaxevanis.comRSS feed ↗10 posts

Latest posts

Agents as Fuzzers

Part 4 of the Oracles, Traces, Triage series. A fuzzer is a search tool whose results must be triaged. An AI agent is a search tool whose results must be triaged. Perhaps that's not a coincidence.

Testing the Bugs Between Calls

Part 3 of the Oracles, Traces, Triage series. On combining agent swarms and agent skills with stateful property-based testing to find the consensus bugs that live in sequences, not single calls.

Agent Teams and claude-swarm

Part 2 of the Oracles, Traces, Triage series. On running multiple agents in parallel through git—no orchestrator, no message passing—and why the pattern matters more than the tool.

Agent Skills and claude-lint

Part 1 of the Oracles, Traces, Triage series. On structuring .claude/ directories so the model adapts from norms instead of following stale scripts—and a Rust tool to enforce it.

The Bugs Between Calls

Anthropic's recent work shows how far property-based testing can go when you can express properties at a function boundary. This follow-up argues that consensus clients need model-based, stateful testing to catch failures that only appear across sequences of events.

Oracles, Traces, Triage

A series on agentic testing in 2026: how to build bug-finding systems that work because the oracles are real, traces are exercised, and findings are triaged.

The Expression Problem in Practice: A Trait-Based Testing Harness

Part of the Expression Problem in Rust series, concluding with real-world lessons from building a trait-based testing framework that scales from dozens to hundreds of test operations.

Chaos Testing stacks-node with Model-Based Stateful Testing

Part of the Expression Problem in Rust series, applying madhouse-rs to reproduce a real production bug in the Stacks blockchain that traditional testing couldn't catch.

Scaling Model-Based Stateful Testing with madhouse-rs

Part of the Expression Problem in Rust series, showing how madhouse-rs uses a trait-based design to escape the enum bottleneck.

Model-Based Stateful Testing with proptest-state-machine

Part of the Expression Problem in Rust series, demonstrating how proptest-state-machine's enum-based design becomes a bottleneck at scale.