public StateChangeExecutor() {
        this("stateChangeExecutor");
    }
@Test
    public void testStateChangeExecutor() {
        // INIT -> LEADER
        runOne("StateChangeExecutor_initTOleader", FrontendNodeType.INIT, FrontendNodeType.LEADER);

        // INIT -> FOLLOWER
        runOne("StateChangeExecutor_initTOfollower", FrontendNodeType.INIT, FrontendNodeType.FOLLOWER);

        // UNKNOWN -> LEADER
        runOne("StateChangeExecutor_unknownTOleader", FrontendNodeType.UNKNOWN, FrontendNodeType.LEADER);

        // UNKNOWN -> FOLLOWER
        runOne("StateChangeExecutor_unknownTOfollower", FrontendNodeType.UNKNOWN, FrontendNodeType.FOLLOWER);

        // FOLLOWER -> LEADER
        runOne("StateChangeExecutor_followerTOleader", FrontendNodeType.FOLLOWER, FrontendNodeType.LEADER);

        // FOLLOWER -> UNKNOWN
        runOne("StateChangeExecutor_followerTOunknown", FrontendNodeType.FOLLOWER, FrontendNodeType.UNKNOWN);

        // OBSERVER -> UNKNOWN
        runOne("StateChangeExecutor_observerTOunknown", FrontendNodeType.OBSERVER, FrontendNodeType.UNKNOWN);
    }