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

• 
  Robert M. Hierons: Editorial: Formal methods and testing. 69-70
• 
  Ronald A. Olsson: Additional transformations for multiple-level escape statements. 71-76
• 
  Siegfried Göschl, Harry M. Sneed: Case study of testing a distributed internet-system. 77-92
• 
  Catherine Stringfellow, Anneliese Amschler Andrews, Claes Wohlin, Håkan Petersson: Estimating the number of components with defects post-release that showed no defects in testing. 93-122
• 
  Geoff Thompson: Testing it: an off-the-shelf software testing process. 123
• 
  Helen M. Edwards: Problem frames: analyzing and structuring software development problems. 124-125

Volume 12, Number 3, September 2002

• 
  Martin R. Woodward: Editorial: Little bugs and big bugs. 131-132
• 
  Aybüke Aurum, Håkan Petersson, Claes Wohlin: State-of-the-art: software inspections after 25 years. 133-154
• 
  Sun Sup So, Sung Deok Cha, Timothy J. Shimeall, Yong Rae Kwon: An empirical evaluation of six methods to detect faults in software. 155-171
• 
  Nicoletta De Francesco, Antonella Santone: Syntactic reductions for efficient deadlock analysis. 173-186
• 
  Michael Leuschel: Book Reviews. 187-188
• 
  Florian Kammüller: Book Reviews. 188-189

Volume 12, Number 4, 2002

• 
  Lee J. White: Editorial: The importance of empirical work for software engineering papers. 195-196

• 
  Wei Chen, Roland H. Untch, Gregg Rothermel, Sebastian G. Elbaum, Jeffery von Ronne: Can fault-exposure-potential estimates improve the fault detection abilities of test suites? 197-218
• 
  Gregg Rothermel, Mary Jean Harrold, Jeffery von Ronne, Christie Hong: Empirical studies of test-suite reduction. 219-249
• 
  Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi: Model checking fault tolerant systems. 251-275

• 
  Elizabeth Burd: Book Reviews. 277
• 
  Richard Banach: Book Reviews. 278

last updated on Sat May 25 06:40:41 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page