Software Verification in the Age of AI

Recap of the talk by Fabian Deuber and Piersandro Cancellara at Swiss Testing Day 2026.