Speaker
Abstract
AI agents are flooding codebases with far more code than humans can possibly review – so how do you verify the integrity and reliability of your software?
This talk introduces deterministic simulation testing (DST). Rather than testing specified functionality, DST explores the state space of a software system, providing developers with a full picture of how their software could behave – and consequently, revealing all the ways it could go wrong.
DST bridges specification and testing and works regardless of how complex a codebase is, making it an invaluable tool to developers and companies trying to integrate agentic coding into their workflows.
Sponsored session
QCon London 2026 is a three day conference for senior software engineers, architects and team leads. An international program committee of working engineers selects every session. Patterns and practices, not products and pitches.
Part of the track
Sponsored Solution Track IIFrom the same track
Tuesday 17 March
10:35 Westminster (4th Fl.) Sponsored Engineering for the Long Haul: Operating Open Source at Scale Ari Karkkainen Sales Consultant @TuxCare Open-source software powers the world’s most innovative enterprises, but keeping it secure, compliant, and reliable over the long haul is where complexity (and unexpected risk) quietly creeps in. 10:35 Westminster (4th Fl.) Sponsored Sponsored Session powered by ING Details coming soon! 11:45 Westminster (4th Fl.) Sponsored Multi-Cloud Distributed databases for Agentic AI David Roberts Senior Solutions Architect @Yugabyte Distributed databases offer the strong consistency, performance and familiarity of a relational database allied with the scale and resilience of noSQL databases. Multi-cloud is an increasingly popular option for platforms supporting mission-critical services. 13:35 Westminster (4th Fl.) Sponsored Fix Nothing, Build Boldly: The Rise of Agentic Mobile Workflows Daniel Day CMO @Luciq Mobile apps are no longer just a channel, they are the business. With 88% of mobile time spent in apps and 71% of uninstalls caused by crashes, the stakes have never been higher. 14:45 Windsor (5th Fl.) Sponsored Accelerating Container Networking: Fun with Fastpathing Murat Magomedov Software Engineer @Runpod InfiniBand, GPUDirect, RoCE; modern AI workloads demand intense networking solutions. At Runpod, we orchestrate millions of GPU containers whose interconnectivity must prove dependable, scalable, and adaptable to today’s AI demands. 15:55 Westminster (4th Fl.) Sponsored Avoid AI Concept Creep with a Knowledge Graph Created in Hours Atanas Kiryakov, Peio Popov Modern data lakes and streaming architectures are optimized for data Volume, Variety and Velocity, not for preserving the Meaning of the data. 17:05 Westminster (4th Fl.) Sponsored Learning to Trust your AI Agents Lawrie Green Software Developer @Antithesis AI agents are flooding codebases with far more code than humans can possibly review – so how do you verify the integrity and reliability of your software?