Towards Spec-Driven Test Automation: Part 3