Proceedings of the 3rd international workshop on Automation of software test