Testing Transition Systems: An Annotated Bibliography

Hendrik Brinksma, G.J. Tretmans

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

    Abstract

    Labelled transition system based test theory has made remarkable progress over the past 15 years. From a theoretically interesting approach to the semantics of reactive systems it has developed into a field where testing theory is (slowly) narrowing the gap with testing practice. In particular, new test generation algorithms are being designed that can be used in realistic situations whilst maintaining a sound theoretical basis. In this paper we present an annotated bibliography of labelled transition system based test theory and its applications covering the main developments.
    Original languageUndefined
    Title of host publicationModeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000
    EditorsFranck Cassez, Claude Jard, Brigitte Rozoy, Mark Dermot Ryan
    Place of PublicationBerlin
    PublisherSpringer
    Pages187-195
    Number of pages9
    ISBN (Print)3-540-42787-2
    DOIs
    Publication statusPublished - 2001

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer-Verlag
    Volume2067

    Keywords

    • IR-63284
    • METIS-204170
    • FMT-TESTING
    • EWI-6456

    Cite this

    Brinksma, H., & Tretmans, G. J. (2001). Testing Transition Systems: An Annotated Bibliography. In F. Cassez, C. Jard, B. Rozoy, & M. D. Ryan (Eds.), Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000 (pp. 187-195). (Lecture Notes in Computer Science; Vol. 2067). Berlin: Springer. https://doi.org/10.1007/3-540-45510-8_9
    Brinksma, Hendrik ; Tretmans, G.J. / Testing Transition Systems: An Annotated Bibliography. Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000. editor / Franck Cassez ; Claude Jard ; Brigitte Rozoy ; Mark Dermot Ryan. Berlin : Springer, 2001. pp. 187-195 (Lecture Notes in Computer Science).
    @inproceedings{28e0bc7bef9b4f8b8b7729a16cfca643,
    title = "Testing Transition Systems: An Annotated Bibliography",
    abstract = "Labelled transition system based test theory has made remarkable progress over the past 15 years. From a theoretically interesting approach to the semantics of reactive systems it has developed into a field where testing theory is (slowly) narrowing the gap with testing practice. In particular, new test generation algorithms are being designed that can be used in realistic situations whilst maintaining a sound theoretical basis. In this paper we present an annotated bibliography of labelled transition system based test theory and its applications covering the main developments.",
    keywords = "IR-63284, METIS-204170, FMT-TESTING, EWI-6456",
    author = "Hendrik Brinksma and G.J. Tretmans",
    year = "2001",
    doi = "10.1007/3-540-45510-8_9",
    language = "Undefined",
    isbn = "3-540-42787-2",
    series = "Lecture Notes in Computer Science",
    publisher = "Springer",
    pages = "187--195",
    editor = "Franck Cassez and Claude Jard and Brigitte Rozoy and Ryan, {Mark Dermot}",
    booktitle = "Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000",

    }

    Brinksma, H & Tretmans, GJ 2001, Testing Transition Systems: An Annotated Bibliography. in F Cassez, C Jard, B Rozoy & MD Ryan (eds), Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000. Lecture Notes in Computer Science, vol. 2067, Springer, Berlin, pp. 187-195. https://doi.org/10.1007/3-540-45510-8_9

    Testing Transition Systems: An Annotated Bibliography. / Brinksma, Hendrik; Tretmans, G.J.

    Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000. ed. / Franck Cassez; Claude Jard; Brigitte Rozoy; Mark Dermot Ryan. Berlin : Springer, 2001. p. 187-195 (Lecture Notes in Computer Science; Vol. 2067).

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

    TY - GEN

    T1 - Testing Transition Systems: An Annotated Bibliography

    AU - Brinksma, Hendrik

    AU - Tretmans, G.J.

    PY - 2001

    Y1 - 2001

    N2 - Labelled transition system based test theory has made remarkable progress over the past 15 years. From a theoretically interesting approach to the semantics of reactive systems it has developed into a field where testing theory is (slowly) narrowing the gap with testing practice. In particular, new test generation algorithms are being designed that can be used in realistic situations whilst maintaining a sound theoretical basis. In this paper we present an annotated bibliography of labelled transition system based test theory and its applications covering the main developments.

    AB - Labelled transition system based test theory has made remarkable progress over the past 15 years. From a theoretically interesting approach to the semantics of reactive systems it has developed into a field where testing theory is (slowly) narrowing the gap with testing practice. In particular, new test generation algorithms are being designed that can be used in realistic situations whilst maintaining a sound theoretical basis. In this paper we present an annotated bibliography of labelled transition system based test theory and its applications covering the main developments.

    KW - IR-63284

    KW - METIS-204170

    KW - FMT-TESTING

    KW - EWI-6456

    U2 - 10.1007/3-540-45510-8_9

    DO - 10.1007/3-540-45510-8_9

    M3 - Conference contribution

    SN - 3-540-42787-2

    T3 - Lecture Notes in Computer Science

    SP - 187

    EP - 195

    BT - Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000

    A2 - Cassez, Franck

    A2 - Jard, Claude

    A2 - Rozoy, Brigitte

    A2 - Ryan, Mark Dermot

    PB - Springer

    CY - Berlin

    ER -

    Brinksma H, Tretmans GJ. Testing Transition Systems: An Annotated Bibliography. In Cassez F, Jard C, Rozoy B, Ryan MD, editors, Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000. Berlin: Springer. 2001. p. 187-195. (Lecture Notes in Computer Science). https://doi.org/10.1007/3-540-45510-8_9