Software Testing, Verification and Reliability

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

      Version of Record 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

      Version of Record 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.