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.
|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|
|Number of pages||9|
|Publication status||Published - 2001|
|Name||Lecture Notes in Computer Science|
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