Automatic Testing with Formal Methods

Jan Tretmans, Axel Belinfante

    Research output: Book/ReportReportAcademic

    540 Downloads (Pure)


    The use of formal system specifications makes it possible to automate the derivation of test cases from specifications. This allows to automate the whole testing process, not only the test execution part of it. This paper presents the state of the art and future perspectives in testing based on formal methods. The theory of formal testing is briefly outlined, a test tool is presented which automates both test derivation and test execution on-the-fly, and an application case study is discussed.
    Original languageEnglish
    Place of PublicationEnschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Number of pages21
    Publication statusPublished - Dec 1999

    Publication series

    NameCTIT Technical Report Series
    ISSN (Print)1381-3625


    Dive into the research topics of 'Automatic Testing with Formal Methods'. Together they form a unique fingerprint.
    • Automatic Testing with Formal Methods

      Tretmans, G. J. & Belinfante, A., 1999, EuroSTAR'99: 7th European International Conference on Software Testing, Analysis & Review. Galway, Ireland: EuroStar Conferences, 21 p.

      Research output: Chapter in Book/Report/Conference proceedingConference contributionProfessional

      Open Access

    Cite this