Demo for a talk on automated testing