Software Testing, Verification and Reliability

Cover image for Vol. 24 Issue 3

May 2014

Volume 24, Issue 3

Pages i–ii, 181–250

  1. Issue Information

    1. Top of page
    2. Issue Information
    3. Editorial
    4. Research Articles
    1. You have free access to this content
      Issue Information (pages i–ii)

      Article first published online: 7 APR 2014 | DOI: 10.1002/stvr.1512

  2. Editorial

    1. Top of page
    2. Issue Information
    3. Editorial
    4. Research Articles
    1. You have free access to this content
  3. Research Articles

    1. Top of page
    2. Issue Information
    3. Editorial
    4. Research Articles
    1. You have full text access to this OnlineOpen article
      Optimizing compilation with preservation of structural code coverage metrics to support software testing (pages 184–218)

      Raimund Kirner and Walter Haas

      Article first published online: 29 OCT 2012 | DOI: 10.1002/stvr.1485

      Thumbnail image of graphical abstract

      The SECCO approach ensures that test coverage achieved at source code is preserved during optimizing compilation. A typical use case of coverage preservation is source-based test-data generation. Experiments show that the guaranteed coverage preservation has a negligible impact on the resulting code performance.

    2. A Hitchhiker's guide to statistical tests for assessing randomized algorithms in software engineering (pages 219–250)

      Andrea Arcuri and Lionel Briand

      Article first published online: 6 NOV 2012 | DOI: 10.1002/stvr.1486

      Thumbnail image of graphical abstract

      Randomized algorithms are widely used to address many types of software engineering problems, but they are affected by chance and so require the use of appropriate statistical tests to be properly analysed. To address this issue, this paper provides guidelines on how to carry out and properly analyse randomized algorithms applied to solve software engineering tasks, with a particular focus on software testing.

SEARCH

SEARCH BY CITATION