Research on the Mapping of UML2.0 Testing Profile to TTCN-3 | IEEE Conference Publication | IEEE Xplore