TTCN-3 Test Data Analyser Using Constraint Programming | IEEE Conference Publication | IEEE Xplore