@inproceedings{conf/emisa/SodenE07,
	title = {An Approach to use Executable Models for Testing.},
	author = {Michael Soden and Hajo Eichler},
	booktitle = {EMISA},
	crossref = {conf/emisa/2007},
	editor = {Manfred Reichert and Stefan Strecker and Klaus Turowski},
	pages = {75-85},
	publisher = {GI},
	series = {LNI},
	url = {http://dblp.uni-trier.de/db/conf/emisa/emisa2007.html#SodenE07},
	volume = {P-119},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/24b687f0fb6b1c04d07d780c9e234400a/markus.scheidgen},
	description = {dblp},
	date = {2007-10-04}, isbn = {978-3-88579-213-0},
	keywords = {multiple thesis }
}