Articles
Perspective pieces and insights on embedded trace, debugging and verification.
- Compiler Qualification: Are We Certifying the Brake Pedal?A qualified compiler is not a verified system. Why requirements-based tests, dynamic data and control coupling, and target evidence matter for AI-generated code
- Source Code Is Becoming a Build ArtifactRequirements already guide embedded development. AI may generate the code from them - what has to stay reproducible is the acceptance decision, not the source.
- 100 % MC/DC, 40 % EvidenceOne intermediate Boolean can halve what your coverage report proves. We measured it on current Clang and GCC - every step reproducible in your browser.
- Hunting Heisenbugs While You Sleep: Agentic Debugging with Hardware TraceHow AI agents turn embedded trace from a last-resort tool into a tireless overnight bug hunter.