Software Testing, Verification and Reliability

© John Wiley & Sons, Ltd.

Cover image for Vol. 22 Issue 7

Special Issue: Model-Based Testing Volume 3: Beyond Conformance Testing

November 2012

Volume 22, Issue 7

Pages 455–526

Issue edited by: Paul Ammann, Gordon Fraser, Franz Wotawa

  1. Editorial

    1. Top of page
    2. Editorial
    3. Special Issue Papers
    1. You have free access to this content
      Guest Editorial for the Special Issue on Model-Based Testing (pages 455–456)

      Article first published online: 2 OCT 2012 | DOI: 10.1002/stvr.1483

  2. Special Issue Papers

    1. Top of page
    2. Editorial
    3. Special Issue Papers
    1. Efficient coverage of parallel and hierarchical stateflow models for test case generation (pages 457–479)

      Manoranjan Satpathy, Anand Yeolekar, Prakash Peranandam and S. Ramesh

      Article first published online: 1 SEP 2011 | DOI: 10.1002/stvr.444

    2. Regression test suite prioritization using system models (pages 481–506)

      Luay Tahat, Bogdan Korel, Mark Harman and Hasan Ural

      Article first published online: 26 MAY 2011 | DOI: 10.1002/stvr.461

      Thumbnail image of graphical abstract

      The paper presents and evaluates novel test prioritization methods that are based on the state-based models of the system under test; in contrast, the existing test prioritization methods rely on the source-code. An analytical framework for the evaluation of test prioritization methods that may reduce the cost of evaluation as compared to the observation-based framework is also presented. The results of an empirical study indicate that system models may improve the effectiveness of test prioritization with respect to early fault detection. Copyright © 2011 John Wiley & Sons, Ltd.

    3. T-wise combinatorial interaction test suites construction based on coverage inheritance (pages 507–526)

      Andrea Calvagna and Angelo Gargantini

      Article first published online: 8 SEP 2011 | DOI: 10.1002/stvr.466

SEARCH

SEARCH BY CITATION