Agent-based tool for model-based test case generation and execution