Software Testing, Verification and Reliability

Cover image for Vol. 27 Issue 3

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

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

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

  4. You have free access to this content
    How to manage a conference special issue

    Robert M. Hierons

    Version of Record online: 5 APR 2017 | DOI: 10.1002/stvr.1633

  5. Assessment of C++ object-oriented mutation operators: A selective mutation approach

    Pedro Delgado-Pérez, Sergio Segura and Inmaculada Medina-Bulo

    Version of Record online: 20 MAR 2017 | DOI: 10.1002/stvr.1630

    Thumbnail image of graphical abstract

    Mutation operators should be valued differently depending on whether we wish to evaluate a test suite (analysing their degree of redundancy) or refine a test suite (assessing their ability to induce the design of high-quality test cases). Discarding individual mutants is more convenient than discarding mutation operators when applying mutation testing at the class level. The selection of mutants giving preference to the best-valued mutation operators shows a better performance than the random selection of mutants.