STARWEST 2019 Tutorial: Test Design for Automation