Software Testing, Verification and Reliability

Cover image for Vol. 25 Issue 1

January 2015

Volume 25, Issue 1

Pages i–ii, 1–71

  1. Issue Information

    1. Top of page
    2. Issue Information
    3. Editorial
    4. Research Articles
    1. You have free access to this content
      Issue Information (pages i–ii)

      Article first published online: 18 DEC 2014 | DOI: 10.1002/stvr.1550

  2. Editorial

    1. Top of page
    2. Issue Information
    3. Editorial
    4. Research Articles
    1. You have free access to this content
  3. Research Articles

    1. Top of page
    2. Issue Information
    3. Editorial
    4. Research Articles
    1. Specification guidelines to avoid the state space explosion problem (pages 4–33)

      Jan Friso Groote, Tim W.D.M. Kouters and Ammar Osaiweran

      Article first published online: 12 MAY 2014 | DOI: 10.1002/stvr.1536

      Thumbnail image of graphical abstract

      This paper provides seven guidelines that help in preventing the transition systems generated from behavioural process models to become extremely large. This is required to allow the models to be formally analysed. Experience teaches that this is essentially the only way to get such models correct.

    2. Formal firewall conformance testing: an application of test and proof techniques (pages 34–71)

      Achim D. Brucker, Lukas Brügger and Burkhart Wolff

      Article first published online: 27 AUG 2014 | DOI: 10.1002/stvr.1544

      Thumbnail image of graphical abstract

      A HOL-TESTGEN session showing the jEdit-based Isabelle Interface. The upper-left sub-window allows one to interactively step through a test theory comprising test specifications, while the lower-left sub-window shows the corresponding system state of the spot marked in blue in the upper window.

SEARCH

SEARCH BY CITATION