Proceedings of the 3rd international workshop on Advances in model-based testing