@inproceedings {testcom-2007-ghv,
	title = {Model-Based Testing of Service Infrastructure Components},
	booktitle = {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},
	series = {Lecture Notes in Computer Science},
	volume = {4581},
	year = {2007},
	note = {Acceptance rate: 39\%},
	pages = {155-170},
	publisher = {Springer},
	organization = {Springer},
	abstract = {<p>
	We present a methodology for testing service infrastructure components described in a high-level (UML-like) language. The technique of graph transformation is used to precisely capture the dynamic aspect of the protocols which is the basis of state space generation. Then we use model checking techniques to find adequate test sequences for a given requirement. To illustrate our approach, we present the case study of a fault tolerant service broker which implements a well-known dependability pattern at the level of services. Finally, a compact Petri Net representation is derived by workflow mining techniques to generate faithful test cases in a non-deterministic, distributed environment. Note that our methodology is applicable at the architectural level rather than for testing individual service instances only.</p>
},
	keywords = {Model-based testing - Graph Transformation - Model Checking - Fault-Tolerant Services},
	isbn = {978-3-540-73065-1},
	url = {http://dx.doi.org/10.1007/978-3-540-73066-8_11},
	author = {L{\'a}szl{\'o} G{\"o}nczy and Reiko Heckel and D{\'a}niel Varr{\'o}},
	editor = {Alexandre Petrenko and Margus Veanes and Jan Tretmans and Wolfgang Grieskamp}
}
