%0 Conference Paper %1 lamari_07_towards %A Lamari, Maher %B SAC '07: Proceedings of the 2007 ACM symposium on Applied computing %C New York, NY, USA %D 2007 %I ACM %K mda model_transformation 2007 tests verification %P 998--1005 %R 10.1145/1244002.1244220 %T Towards an automated test generation for the verification of model transformations %U http://dx.doi.org/10.1145/1244002.1244220 %@ 1595934804

@inproceedings{lamari_07_towards, added-at = {2009-02-11T20:52:33.000+0100}, address = {New York, NY, USA}, author = {Lamari, Maher}, biburl = {https://www.bibsonomy.org/bibtex/2aead19d65cdaa2c78316ae83c4cf5c6c/leonardo}, booktitle = {SAC '07: Proceedings of the 2007 ACM symposium on Applied computing}, citeulike-article-id = {1993038}, doi = {10.1145/1244002.1244220}, interhash = {40a3aa7222de9bf0464c3b2894ed5d57}, intrahash = {aead19d65cdaa2c78316ae83c4cf5c6c}, isbn = {1595934804}, keywords = {mda model_transformation 2007 tests verification}, pages = {998--1005}, posted-at = {2007-11-27 13:19:57}, priority = {2}, publisher = {ACM}, timestamp = {2009-02-11T20:52:33.000+0100}, title = {Towards an automated test generation for the verification of model transformations}, url = {http://dx.doi.org/10.1145/1244002.1244220}, year = 2007 }