STAREAST 2020 Tutorial: Better Test Design for Great Test Automation