2017 IEEE/ACM 12th International Workshop on Automation of Software Testing (AST)