Volume 12, Number 1, March 2002
- Derek Yates:
Editorial: Find the missing links?
- Nicola Mazzocca, Antonella Santone, Gigliola Vaglini, Valeria Vittorini:
Efficient model checking of properties of a distributed application: a multimedia case study.
- Robert M. Hierons, Mark Harman, Chris Fox, Lahcen Ouarbya, Mohammed Daoudi:
Conditioned slicing supports partition testing.
- István Forgács, Antonia Bertolino:
Preventing untestedness in data-flow based testing.
- R. W. Whitty:
Digraphs: theory, algorithms and applications.
- Perdita Stevens:
Refinement in Z and object-Z: foundations and advanced applications.
- Lee J. White, Martin R. Woodward:
List of Referees.
Volume 12, Number 2, June 2002
Volume 12, Number 3, September 2002
Volume 12, Number 4, 2002
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
- Lee J. White:
Editorial: The importance of empirical work for software engineering papers.