Worked example: from walkthrough to real test — Manual testing to automatic testing