Proceedings of the 1st international workshop on Advances in model-based testing
On-Campus Access Only (IP based access)