A Reordering Framework for Testing Message-Passing Systems. - Milad Irannejad; Guy Martin Tchamgoue; Sebastian Fischmeister (ISORC, 2017)