public final class TestMinimiser
extends java.lang.Object
public static TestModel minimise(TestModel testModel, EfsmModel efsmModel)
Input data are not modified by this method.
testModel
- Test to be minimized.efsmModel
- EFSM model which transition coverage is used as minimization criterion.