Software Testing, Verification and Reliability

Cover image for Vol. 28 Issue 2

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. Verifying OSEK/VDX automotive applications: A Spin-based model checking approach

    Haitao Zhang, Guoqiang Li, Zhuo Cheng and Jinyun Xue

    Version of Record online: 19 FEB 2018 | DOI: 10.1002/stvr.1662

    Thumbnail image of graphical abstract

    OSEK/VDX application is a deterministic scheduler-based multitasking software for vehicle-mounted system. How to exhaustively check such application has become a challenge in automotive industry. This paper shows a method to solve this problem based on the model checker Spin.

  2. You have free access to this content
    Editorial: Self-plagiarism is not a thing

    Jeff Offutt

    Version of Record online: 9 FEB 2018 | DOI: 10.1002/stvr.1666

  3. Systematic testing of actor systems

    Elvira Albert, Puri Arenas and Miguel Gómez-Zamalloa

    Version of Record online: 8 FEB 2018 | DOI: 10.1002/stvr.1661

    Thumbnail image of graphical abstract

    In testing of actor systems, we can distinguish two sources of nondeterminism: (1) actor selection, the order in which actors are explored, and (2) task selection, the order in which the tasks within each actor are explored. This article provides new strategies and heuristics for pruning redundant state-exploration when testing actor systems by reducing the amount of unnecessary nondeterminism of both types.

  4. Heterogeneous fault prediction with cost-sensitive domain adaptation

    Zhiqiang Li, Xiao-Yuan Jing and Xiaoke Zhu

    Version of Record online: 26 JAN 2018 | DOI: 10.1002/stvr.1658

    Thumbnail image of graphical abstract

    This paper proposes a novel heterogeneous fault prediction (HFP) approach, named Cost-sensitive Label-and-Structure-consistent Unilateral Projection (CLSUP). CLSUP is among the first to exploit the mixed-project (within-project and cross-project) data in HFP. It can not only make better use of the within-project and cross-project data but also alleviate the class imbalance problem by setting different misclassification costs for fault-prone and non-fault-prone instances. Extensive experiments on 30 projects demonstrate the effectiveness of CLSUP.

  5. Improving lazy abstraction for SCR specifications through constraint relaxation

    Renzo Degiovanni, Pablo Ponzio, Nazareno Aguirre and Marcelo Frias

    Version of Record online: 15 JAN 2018 | DOI: 10.1002/stvr.1657

    Thumbnail image of graphical abstract

    SCR requirements specifications are challeging for automated analysis approaches because they feature a high degree of nondeterminism, and they refer to real-world magnitudes often characterized through variables over large domains. In this paper we present a 2-stage abstraction based approach to tackle these problems. The experimental assessment we performed shows that this new approach runs faster and scales better to larger, more complex specifications than related techniques.