@inproceedings{SLE-2016-Al-SibahiDW,
	acmid         = "2997382",
	author        = "Ahmad Salim Al-Sibahi and Aleksandar S. Dimovski and Andrzej Wasowski",
	booktitle     = "{Proceedings of the Ninth International Conference on Software Language Engineering}",
	isbn          = "978-1-4503-4447-0",
	pages         = "207--220",
	publisher     = "{ACM}",
	title         = "{Symbolic execution of high-level transformations}",
	year          = 2016,
}