Software Testing, Verification & Reliability (STVR), Volume 12

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 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