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