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.
Speaker
Lawrie Green
Software Developer @Antithesis
Lawrie Green works at Antithesis, where she helps engineering teams find and fix bugs in distributed systems before their users do. Her background in software development and social science have convinced her that the most interesting problems happen when people and systems interact.
Session Sponsored By
The only way to thoroughly validate complex software