


default search action
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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
