Software Testing, Verification and Reliability

Cover image for Vol. 26 Issue 8

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. Test suite completeness and black box testing

    Adilson Luiz Bonifácio and Arnaldo Vieira Moura

    Version of Record online: 9 JAN 2017 | DOI: 10.1002/stvr.1626

    Thumbnail image of graphical abstract

    This work allows for test cases to block giving rise to a natural variant of completeness called perfectness. Perfectness guarantees that non-compliance between a specification and an implementation will always be detected, even in the presence of blocking test cases. This study characterizes perfectness by isomorphisms, and establishes a relationship between the notion of completeness and perfectness. Further, a sharp upper bound is given on the number of states in implementations, beyond which no test suite can be complete.

  2. Causal inference based fault localization for numerical software with NUMFL

    Zhuofu Bai, Gang Shu and Andy Podgurski

    Version of Record online: 28 NOV 2016 | DOI: 10.1002/stvr.1613

    Thumbnail image of graphical abstract

    This paper presents NUMFL, a value-based causal inference technique for localizing faults in numerical software. Given value profiles for an expression's variables, NUMFL uses generalized propensity scores (GPSs) or covariate balancing propensity scores (CBPSs) to reduce confounding bias caused by evaluation of other faulty expressions. It estimates the average failure-causing effect of an expression using statistical regression models. The empirical results indicate that NUMFL is more effective than competitive metrics, and NUMFL works surprisingly well with data from failing runs alone.

  3. You have free access to this content
  4. You have free access to this content
  5. A simplification of a real-time verification problem (pages 548–571)

    Suman Roy, Janardan Misra and Indranil Saha

    Version of Record online: 10 OCT 2016 | DOI: 10.1002/stvr.1622

    Thumbnail image of graphical abstract

    In this work we propose a technique for reducing the problem of infinite state verification of qualitative temporal properties on timeout and calendar based transition systems to the problem of finite state verification of the same properties on those models. The technique is comprised of two steps, digitization of infinite state system with continuous time dynamics to the same with discrete time dynamics, and a finitary reduction of the latter to a finite state clock-less system. This technique enables us to verify safety, liveness and timeliness properties of the system with finite state model checkers.