* The test suite in a TS file generated from program STSG for a set of requirements may not be reduced.
The test suite in a TS file generated from program STSG may contain infeasible tests.

Home