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

Volume 12, Number 1, March 2002

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

Volume 12, Number 2, June 2002

• Robert M. Hierons: Editorial: Formal methods and testing. 69-70 BibTeX
• Ronald A. Olsson: Additional transformations for multiple-level escape statements. 71-76 BibTeX
• Siegfried Göschl, Harry M. Sneed: Case study of testing a distributed internet-system. 77-92 BibTeX
• 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 BibTeX
• Geoff Thompson: Testing it: an off-the-shelf software testing process. 123 BibTeX
• Helen M. Edwards: Problem frames: analyzing and structuring software development problems. 124-125 BibTeX

Volume 12, Number 3, September 2002

• Martin R. Woodward: Editorial: Little bugs and big bugs. 131-132 BibTeX
• Aybüke Aurum, Håkan Petersson, Claes Wohlin: State-of-the-art: software inspections after 25 years. 133-154 BibTeX
• 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 BibTeX
• Nicoletta De Francesco, Antonella Santone: Syntactic reductions for efficient deadlock analysis. 173-186 BibTeX
• Michael Leuschel: Book Reviews. 187-188 BibTeX
• Florian Kammüller: Book Reviews. 188-189 BibTeX

Volume 12, Number 4, 2002

• Lee J. White:
  Editorial: The importance of empirical work for software engineering papers. 195-196
  Electronic Edition (link) BibTeX

• 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
  Electronic Edition (link) BibTeX
• Gregg Rothermel, Mary Jean Harrold, Jeffery von Ronne, Christie Hong:
  Empirical studies of test-suite reduction. 219-249
  Electronic Edition (link) BibTeX
• Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi:
  Model checking fault tolerant systems. 251-275
  Electronic Edition (link) BibTeX

• Elizabeth Burd:
  Book Reviews. 277
  Electronic Edition (link) BibTeX
• Richard Banach:
  Book Reviews. 278
  Electronic Edition (link) BibTeX