Deriving compact test suites for telecommunication software using distance metrics | IEEE Conference Publication | IEEE Xplore