Towards Spec-Driven Test Automation, Part 4