Software Testing, Verification and Reliability

© John Wiley & Sons, Ltd.

Cover image for Software Testing, Verification and Reliability

Special Issue: VVEIS 2003—Workshop on Verification and Validation of Enterprise Information Systems

December 2003

Volume 13, Issue 4

Pages 205–259

Issue edited by: Juan Carlos Augusto, Marc Roper

  1. Editorials

    1. Top of page
    2. Editorials
    3. Research Articles
    4. Book Reviews
    1. You have free access to this content
      Editorial: The First International Workshop on Verification and Validation of Enterprise Information Systems (VVEIS 2003) (pages 205–206)

      Juan Carlos Augusto and Marc Roper

      Article first published online: 21 NOV 2003 | DOI: 10.1002/stvr.282

  2. Research Articles

    1. Top of page
    2. Editorials
    3. Research Articles
    4. Book Reviews
    1. High-level data races (pages 207–227)

      Cyrille Artho, Klaus Havelund and Armin Biere

      Article first published online: 21 NOV 2003 | DOI: 10.1002/stvr.281

    2. Evaluating the sustained performance of COTS-based messaging systems (pages 229–240)

      Phong Tran, Jeffrey Gosper and Ian Gorton

      Article first published online: 21 NOV 2003 | DOI: 10.1002/stvr.279

    3. Improved verification of linear-time properties within fairness: weakly continuation-closed behaviour abstractions computed from trace reductions (pages 241–255)

      Ulrich Ultes-Nitsche and Simon St James

      Article first published online: 21 NOV 2003 | DOI: 10.1002/stvr.280

  3. Book Reviews

    1. Top of page
    2. Editorials
    3. Research Articles
    4. Book Reviews
    1. You have free access to this content
      Book Reviews (pages 257–258)

      Isabel Evans

      Article first published online: 21 NOV 2003 | DOI: 10.1002/stvr.283

    2. You have free access to this content
      Book Reviews (pages 258–259)

      Ian Craggs

      Article first published online: 21 NOV 2003 | DOI: 10.1002/stvr.284

SEARCH

SEARCH BY CITATION