Tagging Make Local Testing of Message-Passing Systems Feasible | IEEE Conference Publication | IEEE Xplore