Proceedings of the Second International Workshop on Automation of Software Test