Software Testing, Verification and Reliability

Cover image for Vol. 27 Issue 1-2

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. You have free access to this content
    Editorial: Accepting shortened papers hurts science

    Jeff Offutt

    Version of Record online: 21 FEB 2017 | DOI: 10.1002/stvr.1631

  2. Automatic property-based testing and path validation of XQuery programs

    Jesús M. Almendros-Jiménez and Antonio Becerra-Terón

    Version of Record online: 6 FEB 2017 | DOI: 10.1002/stvr.1625

  3. Evaluating code-based test input generator tools

    Lajos Cseppentő and Zoltán Micskei

    Version of Record online: 6 FEB 2017 | DOI: 10.1002/stvr.1627

    Thumbnail image of graphical abstract

    This paper presents a method and an open-source framework to evaluate and compare code-based test input generator tools. Based on core and challenging features of programming languages, 363 code snippets were defined that can serve as inputs for the tools. Five Java and one .NET-based tools were evaluated using different metrics and their strengths and weaknesses were highlighted.

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

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