External Links

    Journal: Softw. Test., Verif. Reliab.

    Volume 12, Issue 4

    195 -- 196Lee J. White. Editorial: The importance of empirical work for software engineering papers
    197 -- 218Wei 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?
    219 -- 249Gregg Rothermel, Mary Jean Harrold, Jeffery von Ronne, Christie Hong. Empirical studies of test-suite reduction
    251 -- 275Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi. Model checking fault tolerant systems
    277 -- 0Elizabeth Burd. Book Reviews
    278 -- 0Richard Banach. Book Reviews

    Volume 12, Issue 3

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

    Volume 12, Issue 2

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

    Volume 12, Issue 1

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