Proceedings of the first international workshop on Advances in model-based testing - A-MOST '05 Journal