“…Therefore, it also implements the SNF. This thesis uses the mutation operators 4 Since MTBDD is a graph, manipulations can be performed not only on its nodes (vertices), but also on its edges (arcs). This is inspired by 25 , where graph-based structures such as DG, FSM, SC and ESG have been changed by removing or adding not only theirs vertices (nodes), but also arcs (edges).…”