Testing Transition Systems: An Annotated Bibliography

Hendrik Brinksma; G.J. Tretmans

doi:10.1007/3-540-45510-8_9

Testing Transition Systems: An Annotated Bibliography

Hendrik Brinksma, G.J. Tretmans

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

7 Downloads (Pure)

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 language	Undefined
Title of host publication	Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000
Editors	Franck Cassez, Claude Jard, Brigitte Rozoy, Mark Dermot Ryan
Place of Publication	Berlin
Publisher	Springer
Pages	187-195
Number of pages	9
ISBN (Print)	3-540-42787-2
DOIs	https://doi.org/10.1007/3-540-45510-8_9
Publication status	Published - 2001
Event	Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000 - Nantes, France Duration: 19 Jun 2000 → 23 Jun 2000

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer-Verlag
Volume	2067

Workshop

Workshop	Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000
Period	19/06/00 → 23/06/00
Other	June 19-23, 2000

Keywords

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

Access to Document

10.1007/3-540-45510-8_9

http://eprints.eemcs.utwente.nl/secure2/6456/01/fulltext.pdf

Cite this

@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",

address = "Germany",

note = "Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000 ; Conference date: 19-06-2000 Through 23-06-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, Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, 19/06/00. 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 proceeding › Conference contribution › Academic

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

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

Y2 - 19 June 2000 through 23 June 2000

ER -