Testing methods for X-machines: a review K. BogdanovM. HolcombeS. Vanak OriginalPaper 24 January 2006 Pages: 3 - 30
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria Sergiy A. VilkomirJonathan P. Bowen OriginalPaper 11 January 2006 Pages: 42 - 62
A formal approach to property testing in causally consistent distributed traces H. H. HallalS. BorodayA. Ulrich OriginalPaper 25 January 2006 Pages: 63 - 83
Constructing checking sequences for distributed testing Hasan UralCraig Williams OriginalPaper 10 January 2006 Pages: 84 - 101