Software Testing, Verification and Reliability

Cover image for Vol. 26 Issue 6

Edited By: Jeff Offutt and Robert M. Hierons

Impact Factor: 1.082

ISI Journal Citation Reports © Ranking: 2015: 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. Past-Free[ze] reachability analysis: reaching further with DAG-directed exhaustive state-space analysis

    Ciprian Teodorov, Luka Le Roux, Zoé Drey and Philippe Dhaussy

    Version of Record online: 31 AUG 2016 | DOI: 10.1002/stvr.1611

    Thumbnail image of graphical abstract

    This paper presents Past-Free[ze], a new reachability algorithm that reduces the state-space explosion problem during model-checking. This algorithm relies on the explicit isolation of the acyclic parts of the system, which are used as a guide for freeing the past states of the system, making room for more future states. The algorithm effectiveness was evaluated both on a synthetic benchmark and on realistic case studies. The results show that up to 75% of the state-space can be dropped from memory

  2. You have free access to this content
    Editorial (page 430)

    Rob Hierons

    Version of Record online: 12 AUG 2016 | DOI: 10.1002/stvr.1612

  3. Non-negative sparse-based SemiBoost for software defect prediction

    Tiejian Wang, Zhiwu Zhang, Xiaoyuan Jing and Yanli Liu

    Version of Record online: 22 JUL 2016 | DOI: 10.1002/stvr.1610

    Thumbnail image of graphical abstract

    In this paper, we propose a novel semi-supervised software defect prediction approach, non-negative sparse based SemiBoost learning. The approach is capable of exploiting both labeled and unlabeled data via semi-supervised learning and solving the class-imbalance problem in software defect prediction via ensemble learning. Meanwhile, we design a flexible non-negative sparse similarity matrix, which can fully exploit the similarity of historical data.

  4. You have free access to this content
    Editorial: Changes to STVR's Editorial Board (page 350)

    Jeff Offutt

    Version of Record online: 15 JUL 2016 | DOI: 10.1002/stvr.1608

  5. Prioritizing manual test cases in rapid release environments

    Hadi Hemmati, Zhihan Fang, Mika V. Mäntylä and Bram Adams

    Version of Record online: 13 JUL 2016 | DOI: 10.1002/stvr.1609

    Thumbnail image of graphical abstract

    Test case prioritization is an important testing activity, in practice, especially when testing resources are limited, for example, in manual testing. Most existing prioritization techniques are based on code coverage, which is not suitable for manual testing. Therefore, in this paper, we examined text-based and history-based prioritization techniques. A study on 41 releases of Mozilla Firefox showed that test cases in rapid release environments can be very effectively prioritized for execution, based on their historical failure knowledge.