Software Testing, Verification and Reliability

Cover image for Vol. 26 Issue 4

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. UCov: a user-defined coverage criterion for test case intent verification

    Rawad Abou Assi, Wes Masri and Fadi Zaraket

    Version of Record online: 27 JUN 2016 | DOI: 10.1002/stvr.1607

    Thumbnail image of graphical abstract

    Existing coverage criteria, for example, branch coverage, do not guarantee that a given bug fix is exercised or a given scenario is tested. Therefore, there is a need for a coverage criterion in which the user can define a test requirement characterizing a given behavior to be covered as opposed to choosing from a pool of generic program elements. This paper proposes UCov, a user-defined coverage criterion that focuses the testing on important code patterns that could go untested otherwise.

  2. You have free access to this content
  3. Simulink fault localization: an iterative statistical debugging approach

    Bing Liu, Lucia, Shiva Nejati, Lionel C. Briand and Thomas Bruckmann

    Version of Record online: 11 MAY 2016 | DOI: 10.1002/stvr.1605

    Thumbnail image of graphical abstract

    This paper proposes SimFL and iSimFL, fault localization techniques for Simulinkmodels. Our techniques combine statistical debugging and dynamic slicing. In addition, iSimFL (iteratively) utilizes heuristics to determine when test oracle expansion is beneficial for improving the fault localization accuracy. We applied our techniques to industrial automotive Simulink models. We show that the accuracy of our techniques is comparable with that of existing fault localization techniques applied to source code. Further, small test oracle expansions substantially improve debugging accuracy

  4. You have free access to this content
  5. Prioritizing test cases for early detection of refactoring faults

    Everton L. G. Alves, Patrícia D. L. Machado, Tiago Massoni and Miryung Kim

    Version of Record online: 21 MAR 2016 | DOI: 10.1002/stvr.1603

    Thumbnail image of graphical abstract

    This article's main contributions are as follows:

    • A test case prioritization technique (RBA) centred on detecting refactoring edits faults earlier.
    • An evaluation of the technique by means of two empirical studies. The studies provide statistical evidence that RBA fosters early detection of refactoring-related behavioural changes.
    • A new metric for evaluating how spread is the fault-revealing test cases throughout a prioritized test sequence.