Software Engineering Daily
コーディングエージェント時代のソフトウェア検証
Software Verification in the Age of Coding Agents
Antithesis の Red Team に所属し AI 戦略も率いる Carl Sverre が、決定論的シミュレーションテスト（DST）の仕組みと意義を Sean Falconer と語った。テストが既知の挙動の回帰確認に偏りがちで、未知の未知を捉えにくいという課題から出発し、ファジングを応用した探索、SQLite の10年来のバグを15分で再現した事例、AI 生成コード時代に仕様と検証が重要になるという見方までを扱っている。