Software Testing, Verification and Reliability

Cover image for Vol. 27 Issue 4-5

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. 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.

  2. GUICop: Approach and toolset for specification-based GUI testing

    Dalal Hammoud, Fadi A. Zaraket and Wes Masri

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

    Thumbnail image of graphical abstract

    The GUICop enables specification-based testing for graphical user interface programs using user-defined specifications that are not sensitive to environmental changes such as color and screen resolutions. The GUICop specifications define graphical user interface layout, textual, and temporal behaviors. The GUICop Weaver integrates the specifications into the program under test. An instrumented version of the program under test produces execution traces and calls the GUICop Solver to check whether the traces satisfy the specifications. Results show that GUICop is effective in testing several real-life subject programs.

  3. You have free access to this content
  4. Debugging-workflow-aware software reliability growth analysis

    Marcello Cinque, Domenico Cotroneo, Antonio Pecchia, Roberto Pietrantuono and Stefano Russo

    Version of Record online: 29 JUN 2017 | DOI: 10.1002/stvr.1638

    Thumbnail image of graphical abstract

    The debugging-workflow-aware software reliability growth method (SRGM) uses issue tracking data–a valuable yet often unexploited asset for project managers–to improve the best release time prediction and the product reliability estimate, as well as to spot bottlenecks in the debugging workflow possibly distorting SRGM-based inferences. Debugging-workflow-aware SRGM applied to industrial projects reveals a severe impact on release time prediction and quality estimation caused by neglecting debugging. This pragmatic approach supports a more effective use in the industrial practice of software reliability analysis based on reliability growth models.

  5. Detecting display energy hotspots in Android apps

    Mian Wan, Yuchen Jin, Ding Li, Jiaping Gui, Sonal Mahajan and William G. J. Halfond

    Version of Record online: 13 JUN 2017 | DOI: 10.1002/stvr.1635

    Thumbnail image of graphical abstract

    Energy-inefficient user interfaces are present in over 40% of mobile apps. The dLens approach is able to quickly detect these user interfaces and provide accurately prioritized lists to app developers to help guide their optimization efforts. The estimated energy savings that could be realized by optimizing these user interfaces average 18%.