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
  

Volume 19, Number 4, December 2009

• Jeff Offutt:
  Editorial: Testing my new building. 263-264
  

• Manar H. Alalfi, James R. Cordy, Thomas R. Dean:
  Modelling methods for web application verification and testing: state of the art. 265-296
  
• Debasish Kundu, Monalisa Sarma, Debasis Samanta, Rajib Mall:
  System testing for object-oriented systems with test case prioritization. 297-333
  

• Graham A. Thomas:
  Pragmatic Software Testing. By Rex Black. Published by Wiley. ISBN: 978-0-470-12790-2, 366 pages. 335
  

Last update Thu May 23 19:30:34 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page