Proceedings of the 3rd International Workshop on Automation of Software Test - Zhu, Hong. (ACM,)