characterisationSet = computeWSet(fsm);if (characterisationSet.isEmpty()) characterisationSet.add(Arrays.asList(new String[]{}));
transitionCover = crossWithSet(stateCover,alphabet);transitionCover.addAll(stateCover);
PTATestSequenceEngine engine = new PTA_FSMStructure(fsm);
sequenceSet partialPTA = engine.new sequenceSet();partialPTA.setIdentity();
partialPTA = partialPTA.cross(stateCover);
partialPTA.cross(characterisationSet);
for(int i=0;i<=this.numberOfExtraStates;i++)
{
partialPTA = partialPTA.crossWithSet(alphabet);