{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T08:19:30Z","timestamp":1769933970655,"version":"3.49.0"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2011,1,4]],"date-time":"2011-01-04T00:00:00Z","timestamp":1294099200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Autom Softw Eng"],"published-print":{"date-parts":[[2011,6]]},"DOI":"10.1007\/s10515-010-0079-3","type":"journal-article","created":{"date-parts":[[2011,1,3]],"date-time":"2011-01-03T16:29:11Z","timestamp":1294072151000},"page":"199-224","source":"Crossref","is-referenced-by-count":21,"title":["Example-based model-transformation testing"],"prefix":"10.1007","volume":"18","author":[{"given":"Marouane","family":"Kessentini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Houari","family":"Sahraoui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mounir","family":"Boukadoum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,1,4]]},"reference":[{"key":"79_CR1","volume-title":"UML\u201903, USA","author":"M. Alanen","year":"2003","unstructured":"Alanen, M., Porres, I.: Difference and union of models. In: UML\u201903, USA (2003)"},{"key":"79_CR2","first-page":"1329","volume-title":"GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference","author":"A. Baresel","year":"2002","unstructured":"Baresel, A., Sthamer, H., Schmidt, M.: Fitness function design to improve evolutionary structural testing. In: GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference, pp. 1329\u20131336 (2002)"},{"key":"79_CR3","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1145\/1007512.1007527","volume-title":"International Symposium on Software Testing and Analysis (ISSTA 2004)","author":"A. Baresel","year":"2004","unstructured":"Baresel, A., Binkley, D.W., Harman, M., Korel, B.: Evolutionary testing in the presence of loop-assigned flags: A testability transformation approach. In: International Symposium on Software Testing and Analysis (ISSTA 2004), Omni Parker House Hotel, Boston, MA, July 2004, pp. 108\u2013118 (2004). Appears in Softw. Eng. Notes 29(4)"},{"key":"79_CR4","volume-title":"ASE","author":"B. Baudry","year":"2002","unstructured":"Baudry, B., Fleurey, F., Jezequel, J.-M., Traon, Y.L.: Automatic test cases optimization using a bacteriological adaptation model: Application to .net components. In: ASE (2002)"},{"key":"79_CR5","volume-title":"IMDT Workshop","author":"B. Baudry","year":"2006","unstructured":"Baudry, B., Dinh-Trong, T., Mottu, J.-M., Simmonds, D., France, R., Ghosh, S., Fleurey, F., Traon, Y.L.: Model transformation testing challenges. In: IMDT Workshop (2006)"},{"key":"79_CR6","volume-title":"OOPSLA\/GPCE 2004 Workshop","author":"J. Bezivin","year":"2004","unstructured":"Bezivin, J., Jouault, F., Valduriez, P.: On the need for megamodels. In: OOPSLA\/GPCE 2004 Workshop (2004)"},{"key":"79_CR7","unstructured":"B\u00e9zivin, J., Rumpe, B., Sch\u00fcrr, A., Tratt, L.: MTIP workshop. Available from: http:\/\/sosym.dcs.kcl.ac.uk\/events\/mtip05\/long_cfp.pdf (2005)"},{"key":"79_CR8","volume-title":"Proceedings of SSRE","author":"E. Brottier","year":"2006","unstructured":"Brottier, E., Fleurey, F., Steel, J., Baudry, B., Traon, Y.L.: Metamodel-based test generation for model transformations: an algorithm and a tool. In: Proceedings of SSRE (2006)"},{"key":"79_CR9","volume-title":"Proceedings of Workshop OCL and MDE","author":"E. Cariou","year":"2004","unstructured":"Cariou, E., Marvie, R., Seinturier, L., Duchien, L.: OCL for the specification of model transformation contracts. In: Proceedings of Workshop OCL and MDE (2004)"},{"issue":"5","key":"79_CR10","doi-asserted-by":"crossref","first-page":"1072","DOI":"10.1137\/0148063","volume":"48","author":"H. Carrillo","year":"1988","unstructured":"Carrillo, H., Lipman, D.: The multiple sequence alignment problem in biology. SIAM J. Appl. Math. 48(5), 1072\u20131082 (1988)","journal-title":"SIAM J. Appl. Math."},{"key":"79_CR11","first-page":"285","volume-title":"Proceedings of IASTED international Multi-Conference","author":"C. Catal","year":"2007","unstructured":"Catal, C., Diri, B.: Software defect prediction using artificial immune recognition system. In: Proceedings of IASTED international Multi-Conference, pp. 285\u2013290 (2007)"},{"key":"79_CR12","volume-title":"OOSPLA 2003","author":"K. Czarnecki","year":"2003","unstructured":"Czarnecki, K., Helsen, S.: Classification of model transformation approaches. In: OOSPLA 2003, Anaheim, USA (2003)"},{"key":"79_CR13","first-page":"69","volume-title":"Proceedings of GT-VMT Workshop Associated to ETAPS\u201906","author":"A. Darabos","year":"2006","unstructured":"Darabos, A., Pataricza, A., Varro, D.: Towards testing the implementation of graph transformations. In: Proceedings of GT-VMT Workshop Associated to ETAPS\u201906, Vienna, Austria, pp. 69\u201380 (2006)"},{"key":"79_CR14","first-page":"123","volume-title":"IEEE Congress on Evolutionary Computation (1)","author":"D. Dasgupta","year":"2003","unstructured":"Dasgupta, D., Ji, Z., Gonzalez, F.: Artificial immune system (ais) research in the last five years. In: IEEE Congress on Evolutionary Computation (1), pp. 123\u2013130. IEEE, New York (2003)"},{"key":"79_CR15","volume-title":"Proceedings of the European Conference on MDA Traceability Workshop","author":"J.-R. Falleri","year":"2006","unstructured":"Falleri, J.-R., Huchard, M., Nebut, C.: Towards a traceability framework for model transformations in Kermeta. In: Proceedings of the European Conference on MDA Traceability Workshop, Bilbao, Spain (2006)"},{"key":"79_CR16","volume-title":"15th IEEE International Symposium on Software Reliability Engineering","author":"F. Fleurey","year":"2004","unstructured":"Fleurey, F., Steel, J., Baudry, B.: Validation in model-driven engineering: testing model transformations. In: 15th IEEE International Symposium on Software Reliability Engineering (2004)"},{"key":"79_CR17","volume-title":"Software and Systems Modeling","author":"F. Fleurey","year":"2008","unstructured":"Fleurey, F., Baudry, B., Muller, P.A., Traon, Y.: Qualifying input test data for model transformations. In: Software and Systems Modeling (2008)"},{"key":"79_CR18","volume-title":"Proceedings of the 1994 IEEE Symposium on Research in Security and Privacy","author":"S. Forrest","year":"1994","unstructured":"Forrest, S., Perelson, A.S., Allen, L., Kuri, R.C.: Self nonself discrimination in a computer. In: Proceedings of the 1994 IEEE Symposium on Research in Security and Privacy (1994)"},{"key":"79_CR19","volume-title":"ICSE 2007: Future of Software Engineering","author":"R. France","year":"2007","unstructured":"France, R., Rumpe, B.: Model-driven development of complex software: a research roadmap. In: ICSE 2007: Future of Software Engineering (2007)"},{"key":"79_CR20","volume-title":"Genetic Algorithms in Search, Optimization and Machine Learning","author":"D.E. Goldberg","year":"1989","unstructured":"Goldberg, D.E.: Genetic Algorithms in Search, Optimization and Machine Learning. Addison-Wesley, Reading (1989)"},{"issue":"4","key":"79_CR21","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1023\/A:1026195112518","volume":"4","author":"F. Gonzalez","year":"2003","unstructured":"Gonzalez, F., Dasgupta, D.: Anomaly detection using real-valued negative selection. Genet. Program. Evolv. Mach. 4(4), 383\u2013403 (2003)","journal-title":"Genet. Program. Evolv. Mach."},{"key":"79_CR22","volume-title":"Proceedings of the 29th International Conference on Software Engineering (ICSE 2007)","author":"M. Harman","year":"2007","unstructured":"Harman, M.: The current state and future of search based software engineering. In: Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 20\u201326 May, Minneapolis, USA (2007)"},{"key":"79_CR23","series-title":"LNCS","first-page":"159","volume-title":"Proc. MODELS 2008","author":"M. Kessentini","year":"2008","unstructured":"Kessentini, M., Sahraoui, H., Boukadoum, M.: Model transformation as an optimization problem. In: Proc. MODELS 2008. LNCS, vol. 5301, pp. 159\u2013173. Springer, Berlin (2008)"},{"key":"79_CR24","author":"M. Kessentini","year":"2010","unstructured":"Kessentini, M., Sahraoui, H., Boukadoum, M.: Search-based model transformation by example. J. Softw. Syst. Model. (2010). doi: 10.1007\/s10270-010-0175-7","journal-title":"J. Softw. Syst. Model."},{"issue":"1","key":"79_CR25","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1145\/234313.234334","volume":"28","author":"S. Khuller","year":"1999","unstructured":"Khuller, S., Raghavachari, B.: Graph and network algorithms. ACM Comput. Surv. 28(1), 43\u201345 (1999)","journal-title":"ACM Comput. Surv."},{"key":"79_CR26","volume-title":"Proc. GaMMa","author":"D.S. Kolovos","year":"2006","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.A.C.: Model comparison: a foundation for model composition and model transformation testing. In: Proc. GaMMa (2006)"},{"key":"79_CR27","volume-title":"Immunology","author":"J. Kuby","year":"1997","unstructured":"Kuby, J., Kindt, T.J., Osborne, B.A., Goldsby, R.A.: Immunology, 3rd edn. Freeman, New York (1997)","edition":"3"},{"issue":"3","key":"79_CR28","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/s10270-006-0018-8","volume":"5","author":"J.M. K\u00fcster","year":"2006","unstructured":"K\u00fcster, J.M.: Definition and validation of model transformations. Softw. Syst. Model. 5(3), 233\u2013259 (2006)","journal-title":"Softw. Syst. Model."},{"key":"79_CR29","volume-title":"MoDeVa\u201906","author":"J. Kuster","year":"2006","unstructured":"Kuster, J., Abd-El-Razik, M.: Validation of model transformations\u2014first experiences using a white box approach. In: MoDeVa\u201906 (2006)"},{"key":"79_CR30","volume-title":"Model-Driven Software Development","author":"Y. Lin","year":"2005","unstructured":"Lin, Y., Zhang, J., Gray, J.: A testing framework for model transformations. In: Model-Driven Software Development. Springer, Berlin (2005)"},{"issue":"2","key":"79_CR31","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1002\/stvr.294","volume":"14","author":"P. McMinn","year":"2004","unstructured":"McMinn, P.: Search-based software test data generation: A survey. Softw. Test. Verif. Reliab. 14(2), 105\u2013156 (2004)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"79_CR32","volume-title":"Proceedings of ECMDA\u201906 (European Conference on Model Driven Architecture)","author":"J.-M. Mottu","year":"2006","unstructured":"Mottu, J.-M., Baudry, B., LeTraon, Y.: Mutation analysis testing for model transformations. In: Proceedings of ECMDA\u201906 (European Conference on Model Driven Architecture), Bilbao, Spain (2006)"},{"key":"79_CR33","volume-title":"Proc. of ICST08","author":"J.M. Mottu","year":"2008","unstructured":"Mottu, J.M., Baudry, B., Traon, Y.L.: Model transformation testing: Oracle issue. In: Proc. of ICST08 (2008)"},{"key":"79_CR34","first-page":"203","volume-title":"IEEE Real-Time and Embedded Technology and Applications Symposium","author":"P. Sampath","year":"2007","unstructured":"Sampath, P., Rajeev, A.C., Ramesh, S., Shashidhar, K.C.: Testing model-processing tools for embedded systems. In: IEEE Real-Time and Embedded Technology and Applications Symposium, pp. 203\u2013214 (2007)"},{"key":"79_CR35","first-page":"151","volume-title":"ISSRE\u201904","author":"J. Steel","year":"2004","unstructured":"Steel, J., Lawley, M.: Model-based test driven development of the Tefkat model- transformation engine. In: ISSRE\u201904, pp. 151\u2013160. IEEE, New York (2004)"},{"key":"79_CR36","volume-title":"MoDELS09","author":"Y. Sun","year":"2009","unstructured":"Sun, Y., White, J., Gray, J.: Model transformation by demonstration. In: MoDELS09 (2009)"},{"key":"79_CR37","volume-title":"ACM Symposium (SAC 2007)","author":"D. Varro","year":"2007","unstructured":"Varro, D., Balogh, Z.: Automating model transformation by example using inductive logic programming. In: ACM Symposium (SAC 2007) (2007)"},{"key":"79_CR38","first-page":"63","volume-title":"CSDUML 2003: Critical Systems Development in UML; Proceedings of the UML\u201903 Workshop, Technical Report","author":"D. Varr\u00f3","year":"2003","unstructured":"Varr\u00f3, D., Pataricza, A.: Automated formal verification of model transformations. In: J\u00fcrjens, J., Rumpe, B., France, R., Fernandez, E.B. (eds.) CSDUML 2003: Critical Systems Development in UML; Proceedings of the UML\u201903 Workshop, Technical Report, pp. 63\u201378. Technische Universit\u00e4t, M\u00fcnchen (2003)"},{"key":"79_CR39","volume-title":"HICSS-40 Hawaii International Conference on System Sciences","author":"M. Wimmer","year":"2007","unstructured":"Wimmer, M., Strommer, M., Kargl, H., Kramler, G.: Towards model transformation generation by-example. In: HICSS-40 Hawaii International Conference on System Sciences (2007)"}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-010-0079-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10515-010-0079-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-010-0079-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T19:16:11Z","timestamp":1559157371000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10515-010-0079-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,1,4]]},"references-count":39,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2011,6]]}},"alternative-id":["79"],"URL":"https:\/\/doi.org\/10.1007\/s10515-010-0079-3","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"value":"0928-8910","type":"print"},{"value":"1573-7535","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,1,4]]}}}