Evaluation of a model-based testing platform for Java applications.