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, Nantes, France, june 19-23, 2000
|F. Cassez, C. Jard, B. Rozoy, M.D. Ryan
|Published - 2000
|Lecture Notes in Computer Science