Pit Pietsch, Hamed Shariat Yazdi, Udo Kelter. Controlled Generation of Models with Defined Properties. In Stefan Jähnichen, Axel Küpper, Sahin Albayrak, editors, Software Engineering 2012: Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar - 2. März 2012 in Berlin. Volume 198 of LNI, pages 95-106, GI, 2012. [doi]
Abstract is missing.