Testing transition systems : an annotated bibliography

E. Brinksma, J. Tretmans

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


    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 languageEnglish
    Title of host publicationModeling and verification of parallel processes : 4th summer school, MOVEP 2000, Nantes, France, june 19-23, 2000
    EditorsF. Cassez, C. Jard, B. Rozoy, M.D. Ryan
    ISBN (Print)3-540-42787-2
    Publication statusPublished - 2000

    Publication series

    NameLecture Notes in Computer Science
    ISSN (Print)0302-9743


    Dive into the research topics of 'Testing transition systems : an annotated bibliography'. Together they form a unique fingerprint.

    Cite this