@inproceedings {sac2007-vb,
	title = {Automating Model Transformation by Example Using Inductive Logic Programming},
	booktitle = {Proceedings of the 2007 ACM Symposium on Applied Computing (SAC 2007), Seoul, Korea, March 11-15, 2007},
	year = {2007},
	note = {Acceptance rate: 32\%},
	pages = {978-984},
	publisher = {ACM Press},
	organization = {ACM Press},
	abstract = {<p>
	Model transformation by example is a novel approach in model-driven software engineering to derive model transformation rules from an initial prototypical set of interrelated source and target models, which describe critical cases of the model transformation problem in a purely declarative way. In the current paper, we automate this approach using inductive logic programming which aims at the inductive construction of first-order clausal theories from examples and background knowledge.</p>
},
	keywords = {by-example synthesis, inductive logic programming, model transformation, Viatra},
	isbn = {1-59593-480-4},
	url = {http://www.mit.bme.hu/~varro/publication/2007/sac2007-vb.pdf},
	author = {D{\'a}niel Varr{\'o} and Zolt{\'a}n Balogh},
	editor = {Yookun Cho and Roger L. Wainwright and Hisham Haddad and Sung Y. Shin and Yong Wan Koo}
}
