Added model-based tests.