Software Testing, Verification and Reliability

Cover image for Vol. 26 Issue 3

Early View (Online Version of Record published before inclusion in an issue)

Edited By: Jeff Offutt and Robert M. Hierons

Impact Factor: 1.348

ISI Journal Citation Reports © Ranking: 2014: 35/104 (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


  1. 1 - 6
  1. Research Articles

    1. Prioritizing test cases for early detection of refactoring faults

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

      Article first published 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.
    2. You have full text access to this OnlineOpen article
      Seeding strategies in search-based unit test generation

      José Miguel Rojas, Gordon Fraser and Andrea Arcuri

      Article first published online: 7 MAR 2016 | DOI: 10.1002/stvr.1601

      Thumbnail image of graphical abstract

      This paper investigates different strategies to seed values (numerical and string constants derived statically and dynamically, type information, and previous solutions) during search-based unit test generation. Results of a large empirical analysis show with strong statistical confidence that the use of appropriate seeding strategies can further improve the code coverage achieved by unit test generation tools.

    3. A general modeling and analysis framework for software fault detection and correction process

      Yu Liu, Duo Li, Lujia Wang and Qingpei Hu

      Article first published online: 7 MAR 2016 | DOI: 10.1002/stvr.1600

      Thumbnail image of graphical abstract

      In this paper, a framework of software reliability models containing both information from software fault detection process and correction process is studied. The proposed approach is based on Markov model other than a nonhomogeneous Poisson process model. Also, parameter estimation is carried out with weighted least-square estimation method, which emphasizes the influence of later data on the prediction. Two data sets from practical software development projects are applied with the proposed framework, which shows satisfactory performance with the results.

    4. Using combinatorial testing to build navigation graphs for dynamic web applications

      Wenhua Wang, Sreedevi Sampath, Yu Lei, Raghu Kacker, Richard Kuhn and James Lawrence

      Article first published online: 2 FEB 2016 | DOI: 10.1002/stvr.1599

      Thumbnail image of graphical abstract

      We present an approach to model the navigation structure of dynamic web applications by applying combinatorial strategies for systematic coverage of the navigation structure. We implement our approach in a tool, Tansuo, and experimentally evaluate its effectiveness on seven web applications with exploration guided by t-way coverage, for t = 1,2,3. We find that 2-way coverage is most effective and can cover more than 80% of the underlying code.

    5. Exhaustive test sets for algebraic specifications

      Marc Aiguier, Agnès Arnould, Pascale Le Gall and Delphine Longuet

      Article first published online: 27 JAN 2016 | DOI: 10.1002/stvr.1598

      Thumbnail image of graphical abstract

      In this paper, we study the conditions to ensure the exhaustiveness property of the set of observable consequences for several algebraic formalisms and several test hypotheses. Such a property is essential in testing because it prevents from rejecting a correct program or dually to accept an incorrect program. Hence, exhaustive test sets, when they exist, are appropriate to start the process of selecting test sets of reasonable size.

    6. Stochastic modelling and simulation approaches to analysing enhanced fault tolerance on service-based software systems

      Kuan-Li Peng and Chin-Yu Huang

      Article first published online: 9 DEC 2015 | DOI: 10.1002/stvr.1596

      Thumbnail image of graphical abstract

      Fault tolerance (FT) is a proven technique to provide continuous and reliable service delivery when failures occur. However, the reliability and performance of FT should be carefully analyzed because of the overhead of invoking redundant services and the potential single point of failure in the FT mechanism. To address these problems, this paper proposes two approaches, the stochastic modeling approach and the simulation approach, for analysing the reliability and performance attributes of generalized FT designs in service-based software systems (SBSSs).


  1. 1 - 6