TRex - The Refactoring and Metrics Tool for TTCN-3 Test Specifications | IEEE Conference Publication | IEEE Xplore