Generating the trace qualification configuration for MCDS from a high level language | IEEE Conference Publication | IEEE Xplore