Assessing two graph-based algorithms in a modelbased testing platform for Java applications