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.
%0 Book Section
%1 brinksma_01_testing
%A Brinksma, Ed
%A Tretmans, Jan
%D 2001
%J Modeling and Verification of Parallel Processes
%K annotated_bibliography tests lts 2001
%P 187--195
%R 10.1007/3-540-45510-8_9
%T Testing Transition Systems: An Annotated Bibliography
%U http://dx.doi.org/10.1007/3-540-45510-8_9
%X 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.
@incollection{brinksma_01_testing,
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.},
added-at = {2009-02-11T22:23:10.000+0100},
author = {Brinksma, Ed and Tretmans, Jan},
biburl = {https://www.bibsonomy.org/bibtex/2bc7343e19bfe02cffb511bedd13d6505/leonardo},
citeulike-article-id = {2505475},
doi = {10.1007/3-540-45510-8_9},
interhash = {eb9dd017221b7862148527c72fed4d23},
intrahash = {bc7343e19bfe02cffb511bedd13d6505},
journal = {Modeling and Verification of Parallel Processes},
keywords = {annotated_bibliography tests lts 2001},
pages = {187--195},
posted-at = {2008-03-11 03:04:18},
priority = {2},
timestamp = {2009-02-11T22:23:10.000+0100},
title = {Testing Transition Systems: An Annotated Bibliography},
url = {http://dx.doi.org/10.1007/3-540-45510-8_9},
year = 2001
}