Volume 12, Number 1, March 2002
- Derek Yates:
Editorial: Find the missing links?
1-2

- Nicola Mazzocca, Antonella Santone, Gigliola Vaglini, Valeria Vittorini:
Efficient model checking of properties of a distributed application: a multimedia case study.
3-21

- Robert M. Hierons, Mark Harman, Chris Fox, Lahcen Ouarbya, Mohammed Daoudi:
Conditioned slicing supports partition testing.
23-28

- István Forgács, Antonia Bertolino:
Preventing untestedness in data-flow based testing.
29-58

- R. W. Whitty:
Digraphs: theory, algorithms and applications.
59-60

- Perdita Stevens:
Refinement in Z and object-Z: foundations and advanced applications.
61

- Lee J. White, Martin R. Woodward:
List of Referees.
63-64

Volume 12, Number 2, June 2002
Volume 12, Number 3, September 2002
Volume 12, Number 4, 2002
- Lee J. White:
Editorial: The importance of empirical work for software engineering papers.
195-196

Research Article
Book Review
Last update Mon May 20 18:27:23 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page