Mutation Testing of Protocol Messages Based on Extended TTCN-3 | IEEE Conference Publication | IEEE Xplore