@incollection{springerlink:10.1007/11498490_13,
	Abstract = {Testing denotes a set of activities that aim at showing that actual and intended behaviors of a system differ, or at increasing confidence that they do not differ. Often enough, the intended behavior is defined by means of rather informal and incomplete requirement specifications. Test engineers use these specification documents to gain an approximate understanding of the intended behavior. That is to say, they build a mental model of the system. This mental model is then used to derive test cases for the implementation, or system under test (SUT): input and expected output. Obviously, this approach is implicit, unstructured, not motivated in its details and not reproducible.},
	Affiliation = {Information Security, Department of Computer Science, ETH Z{\"u}rich, Haldeneggsteig 4, 8092 Z{\"u}rich, Switzerland},
	Author = {Pretschner, Alexander and Philipps, Jan},
	Booktitle = {Model-Based Testing of Reactive Systems},
	Date-Modified = {2011-11-29 13:14:28 +0000},
	Editor = {Broy, Manfred and Jonsson, Bengt and Katoen, Joost-Pieter and Leucker, Martin and Pretschner, Alexander},
	Isbn = {978-3-540-26278-7},
	Keyword = {Computer Science},
	Note = {10.1007/11498490_13},
	Pages = {11-18},
	Publisher = {Springer Berlin / Heidelberg},
	Series = {Lecture Notes in Computer Science},
	Title = {10 Methodological Issues in Model-Based Testing},
	Volume = {3472},
	Year = {2005},
	Bdsk-Url-1 = {http://dx.doi.org/10.1007/11498490_13}}