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

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

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

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

Research Article

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

Book Review