Timed model-based testing

H.C. Bohnenkamp, Axel Belinfante

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

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