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