Software Testing, Verification and Reliability

Cover image for Vol. 27 Issue 6

Edited By: Jeff Offutt and Robert M. Hierons

Impact Factor: 1.588

ISI Journal Citation Reports © Ranking: 2016: 46/106 (Computer Science Software Engineering)

Online ISSN: 1099-1689

Associated Title(s): Journal of Software: Evolution and Process, Software Process: Improvement and Practice, Software: Practice and Experience

Recently Published Issues

See all

Enjoy the ICST Special Issues published by Software Testing Verification and Reliability

To celebrate the ongoing collaboration between the ICST Conference and Software Testing, Verification & Reliability, we have brought all previous and current ICST Special Issues together in one collection.
 Read all the ICST Special Issue Papers

Recently Published Articles

  1. CoopREP: Cooperative record and replay of concurrency bugs

    Nuno Machado, Paolo Romano and Luís Rodrigues

    Version of Record online: 5 SEP 2017 | DOI: 10.1002/stvr.1645

    Thumbnail image of graphical abstract

    This paper presents CoopREP, a system that leverages lightweight cooperative recording and partial log combination to replay concurrency bugs. CoopREP employs several innovative statistical analysis techniques aimed at effectively combining the partial logs captured from independent production runs into a single bug-inducing replay log. The experimental evaluation using benchmark and real-world applications shows that CoopREP can successfully replay concurrency bugs involving tens of thousands of memory accesses, with up to 13× less recording overhead than state-of-the-art noncooperative logging schemes.

  2. You have full text access to this OnlineOpen article
    Impediments for software test automation: A systematic literature review

    Kristian Wiklund, Sigrid Eldh, Daniel Sundmark and Kristina Lundqvist

    Version of Record online: 5 SEP 2017 | DOI: 10.1002/stvr.1639

    Thumbnail image of graphical abstract

    As a facilitator of frequent and rapid feedback, test automation is a critical part of the modern software development process. Automating software testing is thus often organizationally prioritized. However, an enabling factor for all types of improvement is to understand the nature of what is to be improved. On the basis of a systematic review of the literature, we provide a sociotechnical view of test automation and describe impediments for its use and implementation.

  3. You have free access to this content
  4. QuickChecking static analysis properties

    Jan Midtgaard and Anders Møller

    Version of Record online: 30 AUG 2017 | DOI: 10.1002/stvr.1640

    Thumbnail image of graphical abstract

    The combination of QuickCheck (property-based testing) with (1) a reusable test suite of common algebraic properties and (2) a domain-specific language of test signatures is effective for locating errors in a static analysis implementation and for increased test coverage of the underlying source code.

  5. Prioritizing MCDC test cases by spectral analysis of Boolean functions

    Tolga Ayav

    Version of Record online: 1 AUG 2017 | DOI: 10.1002/stvr.1641

    Thumbnail image of graphical abstract

    Test case prioritization allows earlier detection of software faults. This study proposes a spectral analysis-based prioritization scheme for modified condition decision coverage test cases. The new scheme is formal and easy to perform, and it eliminates the extensive mutation analysis for prioritization.