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. You have free access to this content
  2. 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.

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

  4. Event tree algorithms to generate test sequences for composite Web services

    Andre Takeshi Endo and Adenilso Simao

    Version of Record online: 7 JUN 2017 | DOI: 10.1002/stvr.1637

    Thumbnail image of graphical abstract

    We introduce 4 versions of an event tree algorithm to generate test sequences for composite services. When compared with Chinese postman problem (CPP), the proposed algorithms were faster, though CPP generated smaller test suites. For real-world models, the best version of event tree algorithm (which adopts greedy and pruning strategies) generates test suites with the same size of CPP.

  5. An automated framework to support testing for process-level race conditions

    Tingting Yu, Witty Srisa-an and Gregg Rothermel

    Version of Record online: 10 MAY 2017 | DOI: 10.1002/stvr.1634

    Thumbnail image of graphical abstract

    The SIMEXPLORER framework allows engineers to effectively test for process-level race conditions. SIMEXPLORER first uses dynamic analysis techniques to observe system execution, identifies program locations of interest, and reports faults related to oracles. It then uses virtualization to achieve the fine-grained controllability needed to exercise event interleavings that are likely to expose races.