Contains the keyword Model-based testing - Graph Transformation - Model Checking - Fault-Tolerant Services

Gönczy L, Heckel R, Varró D. Model-Based Testing of Service Infrastructure Components. In: Petrenko A, Veanes M, Tretmans J, Grieskamp W, editors. Proc. Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, TestCom/FATES 2007, Tallinn, Estonia, June 26-29, 2007. Vol 4581. Springer; 2007. p. 155-70. (Lecture Notes in Computer Science; vol 4581). Abstract

• BibTex