* EFSM file specifies an EFSM before modification, MOD file specifies the modified transitions of the EFSM. Because each program can have at most one parser, then EFSM file and MOD file are automatically concatenated into a single file before being read.
** The modified transitions specified in the MOD file are stored in an MTransSet object, while the EFSM is stored in an EFSM object. As an example, see RTSR flow chart.
*** In Regression Test Suite Reduction, there are two types of SDG matrices: one type consists of a pointer to an SEdgeSet object for each cell as depicted in the SDG class, the other consists of a pointer to a single MEdge object for each cell, so called SDGm matrix, which in turns contains an SEdgeSet object. By that reason, when creating an SDG object, parameter Tag (either value S or value M) is required in the call to the constructor. As examples, see RTSR flow chart and extending data dependencies. More information can be found in Xie's thesis.
**** In Regression Test Suite Reduction, program testSDGm is used to display the contents of the SDGm matrix.