A Reordering Framework for Testing Message-Passing Systems | IEEE Conference Publication | IEEE Xplore