1 | -- | 2 | John Derrick, Mark Harman, Robert M. Hierons. Guest Editorial |
3 | -- | 30 | Kirill Bogdanov, Mike Holcombe, Florentin Ipate, L. Seed, Salim K. Vanak. Testing methods for X-machines: a review |
31 | -- | 41 | Mike Stannett. Simulation testing of automata |
42 | -- | 62 | Sergiy A. Vilkomir, Jonathan P. Bowen. From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria |
63 | -- | 83 | Hesham Hallal, Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich. A formal approach to property testing in causally consistent distributed traces |
84 | -- | 101 | Hasan Ural, Craig Williams. Constructing checking sequences for distributed testing |