@inproceedings{c2b80cd823f34e65b580b1bf71201807,
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.",
author = "E. Brinksma and J. Tretmans",
year = "2000",
doi = "10.1007/3-540-45510-8\_9",
language = "English",
isbn = "3-540-42787-2",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "187--195",
editor = "F. Cassez and C. Jard and B. Rozoy and M.D. Ryan",
booktitle = "Modeling and verification of parallel processes : 4th summer school, MOVEP 2000, Nantes, France, june 19-23, 2000",
address = "Germany",
}