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

Volume 13, Number 1, March 2003

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

Volume 13, Number 2, June 2003

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

Volume 13, Number 3, September 2003

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

Volume 13, Number 4, December 2003

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