Proceedings of the 1st international workshop on Advances in model-based testing
ACM Digital Library