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