Testing Transition Systems: An Annotated Bibliography

Brinksma, Ed and Tretmans, Jan (2001) Testing Transition Systems: An Annotated Bibliography. In: 4th Summer School on Modeling and Verification of Parallel Processes, MOVEP 2000, June 19-23, 2000, Nantes, France.

PDF
Restricted to UT campus only: Request a copy
102Kb

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.
Item Type:	Conference or Workshop Item
Copyright:	© 2001 Springer
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Formal Methods and Tools (FMT)
Link to this item:	http://purl.utwente.nl/publications/63284
Official URL:	http://dx.doi.org/10.1007/3-540-45510-8_9
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page

Metis ID: 204170