Timed model-based testing

H.C. Bohnenkamp, Axel Belinfante

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    49 Downloads (Pure)
    Original languageUndefined
    Title of host publicationTangram: Model-based integration and testing of complex high-tech systems
    EditorsG.J. Tretmans
    Place of PublicationEindhoven, the Netherlands
    PublisherEmbedded Systems Institute ESI
    Pages115-128
    Number of pages16
    ISBN (Print)978-90-78679-02-8
    Publication statusPublished - 2007
    Event13th International Symposium of Formal Methods: Europe - Newcastle upon Tyne, United Kingdom
    Duration: 18 Jul 200522 Jul 2005
    Conference number: 13

    Publication series

    Name
    PublisherEmbedded Systems Institute

    Conference

    Conference13th International Symposium of Formal Methods
    Abbreviated titleFM 2005
    CountryUnited Kingdom
    CityNewcastle upon Tyne
    Period18/07/0522/07/05

    Keywords

    • METIS-250847
    • IR-64506
    • Model-based on-the-fly Testing
    • Real-Time Testing
    • TorX
    • Timed Automata
    • Tools
    • EWI-11505
    • FMT-RT: VERIFICATION OF REAL-TIME SYSTEMS
    • FMT-TESTING

    Cite this

    Bohnenkamp, H. C., & Belinfante, A. (2007). Timed model-based testing. In G. J. Tretmans (Ed.), Tangram: Model-based integration and testing of complex high-tech systems (pp. 115-128). Eindhoven, the Netherlands: Embedded Systems Institute ESI.
    Bohnenkamp, H.C. ; Belinfante, Axel. / Timed model-based testing. Tangram: Model-based integration and testing of complex high-tech systems. editor / G.J. Tretmans. Eindhoven, the Netherlands : Embedded Systems Institute ESI, 2007. pp. 115-128
    @inbook{301314565d8549f18d3a751a48f13e97,
    title = "Timed model-based testing",
    keywords = "METIS-250847, IR-64506, Model-based on-the-fly Testing, Real-Time Testing, TorX, Timed Automata, Tools, EWI-11505, FMT-RT: VERIFICATION OF REAL-TIME SYSTEMS, FMT-TESTING",
    author = "H.C. Bohnenkamp and Axel Belinfante",
    year = "2007",
    language = "Undefined",
    isbn = "978-90-78679-02-8",
    publisher = "Embedded Systems Institute ESI",
    pages = "115--128",
    editor = "G.J. Tretmans",
    booktitle = "Tangram: Model-based integration and testing of complex high-tech systems",

    }

    Bohnenkamp, HC & Belinfante, A 2007, Timed model-based testing. in GJ Tretmans (ed.), Tangram: Model-based integration and testing of complex high-tech systems. Embedded Systems Institute ESI, Eindhoven, the Netherlands, pp. 115-128, 13th International Symposium of Formal Methods, Newcastle upon Tyne, United Kingdom, 18/07/05.

    Timed model-based testing. / Bohnenkamp, H.C.; Belinfante, Axel.

    Tangram: Model-based integration and testing of complex high-tech systems. ed. / G.J. Tretmans. Eindhoven, the Netherlands : Embedded Systems Institute ESI, 2007. p. 115-128.

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    TY - CHAP

    T1 - Timed model-based testing

    AU - Bohnenkamp, H.C.

    AU - Belinfante, Axel

    PY - 2007

    Y1 - 2007

    KW - METIS-250847

    KW - IR-64506

    KW - Model-based on-the-fly Testing

    KW - Real-Time Testing

    KW - TorX

    KW - Timed Automata

    KW - Tools

    KW - EWI-11505

    KW - FMT-RT: VERIFICATION OF REAL-TIME SYSTEMS

    KW - FMT-TESTING

    M3 - Chapter

    SN - 978-90-78679-02-8

    SP - 115

    EP - 128

    BT - Tangram: Model-based integration and testing of complex high-tech systems

    A2 - Tretmans, G.J.

    PB - Embedded Systems Institute ESI

    CY - Eindhoven, the Netherlands

    ER -

    Bohnenkamp HC, Belinfante A. Timed model-based testing. In Tretmans GJ, editor, Tangram: Model-based integration and testing of complex high-tech systems. Eindhoven, the Netherlands: Embedded Systems Institute ESI. 2007. p. 115-128