Blog
About

  • Record: found
  • Abstract: found
  • Article: found
Is Open Access

Tests Derivation from Model Based Formal Specifications

3rd Irish Workshop on Formal Methods (IWFM)

Formal Methods

1st - 2nd July 1999

Read this article at

Bookmark
      There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

      Abstract

      Software testing consumes a large percentage of total software development costs. Yet, it is still usually performed manually in a non rigorous fashion. In this work we suggest how state of the art practices in the area of testing can be applied to the systematic generation of tests from model-based formal specifications.

      Related collections

      Most cited references 6

      • Record: found
      • Abstract: not found
      • Article: not found

      Introduction to the ISO specification language LOTOS

        Bookmark
        • Record: found
        • Abstract: not found
        • Article: not found

        Seven more myths of formal methods

          Bookmark
          • Record: found
          • Abstract: not found
          • Article: not found

          The CCITT-specification and description language SDL

            Bookmark

            Author and article information

            Affiliations
            CPM Department

            Institute of Technology Carlow

            Carlow, Eire
            Conference
            July 1999
            July 1999
            : 1-12
            10.14236/ewic/IWFM1999.11
            © Christophe Meudec. Published by BCS Learning and Development Ltd. 3rd Irish Workshop on Formal Methods

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            3rd Irish Workshop on Formal Methods
            IWFM
            3
            Galway, Ireland
            1st - 2nd July 1999
            Electronic Workshops in Computing (eWiC)
            Formal Methods
            Product
            Product Information: 1477-9358 BCS Learning & Development
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Comments

            Comment on this article