Each term begins with a relation symbol (which is not considered as part of the universe). It is then possibly followed by parenthesis (or any balanced sequence of them) containing symbols. A term likeb(b)is understood as containing two different symbols, onebstands for a relation symbol, ...
Total No. Transitions, symbols defined in the model. 2. Total No. of Transitions, symbols covered in the test executions (in a single launch session) such that a transition / symbol counted during a particular test execution is not counted again if covered as a part of the sub-sequent ...