GitHub repository: model-evaluator/model-evaluator
Created: 2021-09-24T08:47:04Z
Description: Model evaluator is a java application that analyses formal browser models and creates automated tests.