External Links

    Journal: Softw. Test., Verif. Reliab.

    Volume 13, Issue 4

    205 -- 206Juan Carlos Augusto, Marc Roper. Editorial: The First International Workshop on Verification and Validation of Enterprise Information Systems (VVEIS 2003)
    207 -- 227Cyrille Artho, Klaus Havelund, Armin Biere. High-level data races
    229 -- 240Phong Tran, Jeffrey Gosper, Ian Gorton. Evaluating the sustained performance of COTS-based messaging systems
    241 -- 255Ulrich Ultes-Nitsche, Simon St. James. Improved verification of linear-time properties within fairness: weakly continuation-closed behaviour abstractions computed from trace reductions
    257 -- 258Isabel Evans. Book Reviews
    258 -- 259Ian Craggs. Book Reviews

    Volume 13, Issue 3

    139 -- 140Robert M. Hierons. Editorial: Testing in the large through the small?
    141 -- 155Ricardo Anido, Ana R. Cavalli, Luiz A. Paula Lima Jr., Nina Yevtushenko. Test suite minimization for testing in context
    157 -- 180Vlad Rusu. Combining formal verification and conformance testing for validating reactive systems
    181 -- 196Nicoletta De Francesco, Giuseppe Lettieri. Checking security properties by model checking
    197 -- 198Robert M. Hierons. Book Reviews
    198 -- 199Paul Gerrard. Book Reviews

    Volume 13, Issue 2

    63 -- 64Martin R. Woodward. Editorial: The merits of diversity
    65 -- 83Sebastian G. Elbaum, Praveen Kallakuri, Alexey G. Malishevsky, Gregg Rothermel, Satya Kanduri. Understanding the effects of changes on the cost-effectiveness of regression testing techniques
    95 -- 127Anneliese Amschler Andrews, Robert B. France, Sudipto Ghosh, Gerald Craig. Test adequacy criteria for UML design models
    129 -- 0David Hayman. Book Reviews
    130 -- 131Neil Thompson. Book Reviews

    Volume 13, Issue 1

    1 -- 2Derek Yates. Editorial: Perhaps some parallels do converge?
    3 -- 24Cheer-Sun D. Yang, Lori L. Pollock. All-uses testing of shared memory parallel programs
    25 -- 53A. Jefferson Offutt, Shaoying Liu, Aynur Abdurazik, Paul Ammann. Generating test data from state-based specifications
    55 -- 56Isabel Evans. Book Reviews
    56 -- 0Harry W. Agius. Book Reviews
    runs on