A Framework for Off-Line Conformance Testing of Timed Connectors

Shaodong Li, Xiaohong Chen, Yiwu Wang, Meng Sun

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    3 Citations (Scopus)
    Original languageEnglish
    Title of host publicationProceedings - 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015
    PublisherInstitute of Electrical and Electronics Engineers Inc.
    Pages15-22
    Number of pages8
    ISBN (Electronic)9781467376129
    DOIs
    Publication statusPublished (VoR) - 26 Oct 2015
    EventInternational Symposium on Theoretical Aspects of Software Engineering, TASE 2015 - Nanjing, China
    Duration: 12 Sept 201514 Sept 2015

    Publication series

    NameProceedings - 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015

    Conference

    ConferenceInternational Symposium on Theoretical Aspects of Software Engineering, TASE 2015
    Country/TerritoryChina
    CityNanjing
    Period12/09/1514/09/15

    Keywords

    • Conformance Testing
    • Reo
    • Timed Connector
    • UPPAAL

    Fingerprint

    Dive into the research topics of 'A Framework for Off-Line Conformance Testing of Timed Connectors'. Together they form a unique fingerprint.

    Cite this