Software Testing, Verification and Reliability

Cover image for Vol. 27 Issue 3

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. An automated framework to support testing for process-level race conditions

    Tingting Yu, Witty Srisa-an and Gregg Rothermel

    Version of Record online: 10 MAY 2017 | DOI: 10.1002/stvr.1634

    Thumbnail image of graphical abstract

    The SIMEXPLORER framework allows engineers to effectively test for process-level race conditions. SIMEXPLORER first uses dynamic analysis techniques to observe system execution, identifies program locations of interest, and reports faults related to oracles. It then uses virtualization to achieve the fine-grained controllability needed to exercise event interleavings that are likely to expose races.

  2. You have free access to this content
    How to manage a conference special issue

    Robert M. Hierons

    Version of Record online: 5 APR 2017 | DOI: 10.1002/stvr.1633

  3. Assessment of C++ object-oriented mutation operators: A selective mutation approach

    Pedro Delgado-Pérez, Sergio Segura and Inmaculada Medina-Bulo

    Version of Record online: 20 MAR 2017 | DOI: 10.1002/stvr.1630

    Thumbnail image of graphical abstract

    Mutation operators should be valued differently depending on whether we wish to evaluate a test suite (analysing their degree of redundancy) or refine a test suite (assessing their ability to induce the design of high-quality test cases). Discarding individual mutants is more convenient than discarding mutation operators when applying mutation testing at the class level. The selection of mutants giving preference to the best-valued mutation operators shows a better performance than the random selection of mutants.

  4. Pattern-based GUI testing: Bridging the gap between design and quality assurance

    Rodrigo M. L. M. Moreira, Ana Cristina Paiva, Miguel Nabuco and Atif Memon

    Version of Record online: 2 MAR 2017 | DOI: 10.1002/stvr.1629

    Thumbnail image of graphical abstract

    Pattern-based graphical user interface testing, a practical and useful model-based graphical user interface testing approach that allows to find fast real bugs in the software and is more effective than a manual model-based test case generation approach.

  5. Bounded model checking of C++ programs based on the Qt cross-platform framework

    Felipe R. Monteiro, Mário A. P. Garcia, Lucas C. Cordeiro and Eddie B. de Lima Filho

    Version of Record online: 2 MAR 2017 | DOI: 10.1002/stvr.1632

    Thumbnail image of graphical abstract

    This work describes a simplified version of the Qt framework, named Qt Operational Model, which is integrated into ESBMC++, a bounded model checker based on satisfiability modulo theories, to verify Qt-based applications. Indeed, Qt Operational Model was combined with 2 different verification approaches: explicit state model checking and also symbolic model checking, during the experimental evaluation, which highlights its flexibility. The proposed methodology is the first one to formally verify Qt-based applications, which has the potential to devise new directions for software verification of portable code.