Comparing non-adequate test suites using coverage criteria | Synapse