1 | -- | 2 | Derek Yates. Editorial: Find the missing links? |
3 | -- | 21 | Nicola Mazzocca, Antonella Santone, Gigliola Vaglini, Valeria Vittorini. Efficient model checking of properties of a distributed application: a multimedia case study |
23 | -- | 28 | Robert M. Hierons, Mark Harman, Chris Fox, Lahcen Ouarbya, Mohammed Daoudi. Conditioned slicing supports partition testing |
29 | -- | 58 | István Forgács, Antonia Bertolino. Preventing untestedness in data-flow based testing |
59 | -- | 60 | R. W. Whitty. Digraphs: theory, algorithms and applications |
61 | -- | 0 | Perdita Stevens. Refinement in Z and object-Z: foundations and advanced applications |
63 | -- | 64 | Lee J. White, Martin R. Woodward. List of Referees |