* In Regression Test Suite Reduction, the EFSM module is extended to read the MOD file that specifies the modified transitions in an EFSM.

Home