It is important to note here that we would probably have obtained this improvement in recognition accuracy even with a manual revision of the grammars.
the main advantage in using our tool is the tremendous simplification of the whole process of revision for a grammar developer who now selects counter-examples with an interactive tool instead of manually revising the grammars.