After the generation, ATS divides positive from negative testcases according to the formal rules described in the non contextual semantic specifications about the command under test.
After the generation, ATS divides positive from negative testcases according to the formal rules described in the noncontextual semantic specifications about the command under test.