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

Volume 19, Number 1, March 2009

• Jeff Offutt:
  Editorial: Is software testing essential or accidental? 1-2
  

• Insang Chung, James M. Bieman:
  Generating input data structures for automated program testing. 3-36
  
• Renée C. Bryce, Charles J. Colbourn:
  A density-based greedy algorithm for higher strength covering arrays. 37-53
  
• Jiale Huo, Alexandre Petrenko:
  Transition covering tests for systems with queues. 55-83
  

• Ian Gilchrist:
  Software testing - testing across the entire software development lifecycle. By Gerald D Everett & Raymond McLeod Jr. Published by IEEE Press and Wiley Interscience, Hoboken, NJ, USA ISBN: 978-0-471-79371-7, 260 pages. 85-86
  

Volume 19, Number 2, June 2009

• Jeff Offutt:
  Editorial: Running a conference program meeting in the 21st century. 87-89
  

• Francesco Flammini, Nicola Mazzocca, Antonio Orazzo:
  Automatic instantiation of abstract tests on specific configurations for large critical control systems. 91-110
  
• Macario Polo, Mario Piattini, Ignacio García Rodríguez de Guzmán:
  Decreasing the cost of mutation testing with second-order mutants. 111-131
  
• Abdesselam Lakehal, Ioannis Parissis:
  Structural coverage criteria for LUSTRE/SCADE programs. 133-154
  
• Hendrik Post, Carsten Sinz, Wolfgang Küchlin:
  Towards automatic software model checking of thousands of Linux modules - a case study with Avinux. 155-172
  

Volume 19, Number 3, September 2009

• Jeff Offutt:
  Editorial: confidentiality and plagiarism. 173-174
  

• Norman F. Schneidewind:
  Integrating testing with reliability. 175-198
  
• Derek F. Yates, Nikolaos Malevris:
  Inclusion, subsumption, JJ-paths, and structured path testing: a Redress. 199-213
  
• Gordon Fraser, Franz Wotawa, Paul Ammann:
  Testing with model checkers: a survey. 215-261