{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T21:11:52Z","timestamp":1743109912822,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642026546"},{"type":"electronic","value":"9783642026553"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02655-3_10","type":"book-chapter","created":{"date-parts":[[2009,6,29]],"date-time":"2009-06-29T02:17:34Z","timestamp":1246241854000},"page":"125-141","source":"Crossref","is-referenced-by-count":0,"title":["A Framework for Testing Model Composition Engines"],"prefix":"10.1007","author":[{"given":"Freddy","family":"Munoz","sequence":"first","affiliation":[]},{"given":"Benoit","family":"Baudry","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"France, R., Rumpe, B.: Model-driven Development of Complex Software: A Research Roadmap. In: FOSE 2007: 2007 Future of Software Engineering, Washington, DC, USA, pp. 37\u201354 (2007)","key":"10_CR1","DOI":"10.1109\/FOSE.2007.14"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1007\/978-3-540-75209-7_34","volume-title":"Model Driven Engineering Languages and Systems","author":"P. Lahire","year":"2007","unstructured":"Lahire, P., Morin, B., Vanwormhoudt, G., Gaignard, A., Barais, O., J\u00e9z\u00e9quel, J.-M.: Introducing Variability into Aspect-Oriented Modeling Approaches. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 498\u2013513. Springer, Heidelberg (2007)"},{"key":"10_CR3","first-page":"253","volume-title":"edoc","author":"R. France","year":"2007","unstructured":"France, R., Fleurey, F., Reddy, R., Baudry, B., Ghosh, S.: Providing Support for Model Composition in Metamodels. In: edoc, pp. 253\u2013265. IEEE Computer Society Press, Los Alamitos (2007)"},{"doi-asserted-by":"crossref","unstructured":"Nejati, S., Sabetzadeh, M., Chechik, M., Easterbrook, S., Zave, P.: Matching and Merging of Statecharts Specifications. In: ICSE 2007: Proceedings of the 29th international conference on Software Engineering, Washington, DC, USA, pp. 54\u201364 (2007)","key":"10_CR4","DOI":"10.1109\/ICSE.2007.50"},{"doi-asserted-by":"crossref","unstructured":"Fabro, M.D.D., Valduriez, P.: Semi-automatic model integration using matching transformations and weaving models. In: SAC 2007: Proceedings of the 2007 ACM symposium on Applied computing, pp. 963\u2013970 (2007)","key":"10_CR5","DOI":"10.1145\/1244002.1244215"},{"unstructured":"Fleurey, F., France, R., Baudry, B., Ghosh, S.: Kompose: A generic model composition tool (2008)","key":"10_CR6"},{"key":"10_CR7","volume-title":"Aspect-Oriented Analysis and Design","author":"S.a. Clarke","year":"2005","unstructured":"Clarke, S.a., Baniassad, E.: Aspect-Oriented Analysis and Design. Addison-Wesley Professional, Reading (2005)"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/11687061_3","volume-title":"Transactions on Aspect-Oriented Software Development I","author":"Y.R. Reddy","year":"2006","unstructured":"Reddy, Y.R., Ghosh, S., France, R.B., Straw, G., Bieman, J.M., McEachen, N., Song, E., Georg, G.: Directives for composing aspect-oriented design class models. In: Rashid, A., Aksit, M. (eds.) Transactions on Aspect-Oriented Software Development I. LNCS, vol.\u00a03880, pp. 75\u2013105. Springer, Heidelberg (2006)"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1007\/978-3-540-75209-7_35","volume-title":"Model Driven Engineering Languages and Systems","author":"J. Whittle","year":"2007","unstructured":"Whittle, J., Moreira, A., Ara\u00fajo, J., Jayaraman, P., Elkhodary, A.M., Rabbi, R.: An Expressive Aspect Composition Language for UML State Diagrams. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 514\u2013528. Springer, Heidelberg (2007)"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/11557432_19","volume-title":"Model Driven Engineering Languages and Systems","author":"P.-A. Muller","year":"2005","unstructured":"Muller, P.-A., Fleurey, F., J\u00e9z\u00e9quel, J.-M.: Weaving executability into object-oriented meta-languages. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol.\u00a03713, pp. 264\u2013278. Springer, Heidelberg (2005)"},{"doi-asserted-by":"crossref","unstructured":"Herrmann, C., Krahn, H., Rumpe, B., Schindler, M., V\u00f6lkel, S.: An Algebraic View on the Semantics of Model Composition. In: Model Driven Architecture- Foundations and Applications, pp. 99\u2013113 (2007)","key":"10_CR11","DOI":"10.1007\/978-3-540-72901-3_8"},{"doi-asserted-by":"crossref","unstructured":"Ehrig, K., K\u00fcster, J., Taentzer, G.: Generating instance models from meta models. In: Software and Systems Modeling","key":"10_CR12","DOI":"10.1007\/11768869_13"},{"doi-asserted-by":"crossref","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: ISSRE 2006: Proceedings of the 17th International Symposium on Software Reliability Engineering, Washington, DC, USA, pp. 85\u201394 (2006)","key":"10_CR13","DOI":"10.1109\/ISSRE.2006.27"},{"doi-asserted-by":"crossref","unstructured":"Sen, S., Baudry, B., Mottu, J.-M.: On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing. In: ICST, pp. 328\u2013337 (2008)","key":"10_CR14","DOI":"10.1109\/ICST.2008.62"},{"key":"10_CR15","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1145\/505145.505149","volume":"11","author":"J. Daniel","year":"2002","unstructured":"Daniel, J.: Alloy: a lightweight object modelling notation. ACM Trans. Softw. Eng. Methodol.\u00a011, 256\u2013290 (2002)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"10_CR16","first-page":"55","volume":"29","author":"A.B. Phillip","year":"2000","unstructured":"Phillip, A.B., Alon, Y.H., Rachel, A.P.: A vision for management of complex models. SIGMOD Rec.\u00a029, 55\u201363 (2000)","journal-title":"SIGMOD Rec."},{"doi-asserted-by":"crossref","unstructured":"Fleurey, F., Baudry, B., Muller, P.A., Traon, Y.: Qualifying input test data for model transformations. In: Software and Systems Modeling (2008)","key":"10_CR17","DOI":"10.1007\/s10270-007-0074-8"},{"doi-asserted-by":"crossref","unstructured":"Offutt, A.J.: A practical system for mutation testing: help for the common programmer. In: Proceedings of International Test Conference, 1994, pp. 824\u2013830 (1994)","key":"10_CR18","DOI":"10.1109\/TEST.1994.528535"},{"doi-asserted-by":"crossref","unstructured":"Sabetzadeh, M., Easterbrook, S.: An Algebraic Framework for Merging Incomplete and Inconsistent Views. In: RE 2005: Proceedings of the 13th IEEE International Conference on Requirements Engineering, Washington, DC, USA, pp. 306\u2013318 (2005)","key":"10_CR19","DOI":"10.1109\/RE.2005.8"},{"doi-asserted-by":"crossref","unstructured":"Sabetzadeh, M., Easterbrook, S.: Analysis of inconsistency in graph-based viewpoints: a category-theoretical approach. In: Proceedings of 18th IEEE International Conference on Automated Software Engineering, 2003, pp. 12\u201321 (2003)","key":"10_CR20","DOI":"10.1109\/ASE.2003.1240290"},{"key":"10_CR21","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/s00766-006-0032-y","volume":"11","author":"M. Sabetzadeh","year":"2006","unstructured":"Sabetzadeh, M., Easterbrook, S.: View merging in the presence of incompleteness and inconsistency. Requir. Eng.\u00a011, 174\u2013193 (2006)","journal-title":"Requir. Eng."},{"doi-asserted-by":"crossref","unstructured":"Barais, O., Klein, J., Baudry, B., Jackson, A., Clarke, S.: Composing Multi-view Aspect Models. In: ICCBSS 2008. Seventh International Conference on Composition-Based Software Systems, 2008, pp. 43\u201352 (2008)","key":"10_CR22","DOI":"10.1109\/ICCBSS.2008.12"},{"key":"10_CR23","doi-asserted-by":"publisher","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. Software and Systems Modeling\u00a05, 233\u2013259 (2006)","journal-title":"Software and Systems Modeling"},{"doi-asserted-by":"crossref","unstructured":"Lamari, M.: Towards an Automated Test Generation for the Verification of Model Transformations. In: Symposium on Applied Computing SAC 2007, Seoul, Korea (2007)","key":"10_CR24","DOI":"10.1145\/1244002.1244220"},{"doi-asserted-by":"crossref","unstructured":"Duddy, K., Gerber, A., Lawley, M., Raymond, K., Steel, J.: Model Transformation: A declarative, reusable patterns approach. In: EDOC 2003 (Entreprise Distributed Object Computing Conference), Brisbane, Australia, pp. 174\u2013185 (2003)","key":"10_CR25","DOI":"10.1109\/EDOC.2003.1233847"},{"key":"10_CR26","volume-title":"Model-driven Software Development - Research and Practice in Software Engineering","author":"Y. Lin","year":"2005","unstructured":"Lin, Y., Zhang, J., Gray, J.: A Testing Framework for Model Transformations. In: Model-driven Software Development - Research and Practice in Software Engineering. Springer, Heidelberg (2005)"},{"doi-asserted-by":"crossref","unstructured":"Mottu, J.-M., Baudry, B., Le Traon, Y.: Model transformation testing: oracle issue. In: MoDeVVa workshop colocated with ICST 2008, Lillehammer, Norway (2008)","key":"10_CR27","DOI":"10.1109\/ICSTW.2008.27"},{"doi-asserted-by":"crossref","unstructured":"Lopes, D., Hammoudi, S., De Souza, J., Bontempo, A.: Metamodel Matching: Experiments and Comparison. In: International Conference on Software Engineering Advances (ICSEA 2006), Los Alamitos, USA (2006)","key":"10_CR28","DOI":"10.1109\/ICSEA.2006.261258"},{"doi-asserted-by":"crossref","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.a.C.: Model Comparison: A Foundation for Model Composition and Model Transformation Testing. In: Workshop GaMMa 2006, Shanga\u00ef, China (2006)","key":"10_CR29","DOI":"10.1145\/1138304.1138308"},{"unstructured":"Lin, Y., Zhang, J., Gray, J.: Model Comparison: A Key Challenge for Transformation Testing and Version Control in Model Driven Software Development. In: OOPSLA 2004 (2004)","key":"10_CR30"},{"doi-asserted-by":"crossref","unstructured":"Xing, Z., Stroulia, E.: UMLDiff: an algorithm for object-oriented design differencing. In: ASE 2005: Proceedings of the 20th IEEE\/ACM international Conference on Automated software engineering, New York, NY, USA, pp. 54\u201365 (2005)","key":"10_CR31","DOI":"10.1145\/1101908.1101919"},{"doi-asserted-by":"crossref","unstructured":"Andrews, A., France, R., Ghosh, S., Craig, G.: Test adequacy criteria for UML design models. In: Software Testing, Verification and Reliability, vol.\u00a013, pp. 95\u2013127 (2003)","key":"10_CR32","DOI":"10.1002\/stvr.270"},{"doi-asserted-by":"crossref","unstructured":"Dinh-Trong, T.T., Ghosh, S., France, R.B.: A Systematic Approach to Generate Inputs to Test UML Design Models. In: ISSRE 2006: Proceedings of the 17th International Symposium on Software Reliability Engineering, Washington, DC, USA, pp. 95\u2013104 (2006)","key":"10_CR33","DOI":"10.1109\/ISSRE.2006.10"},{"unstructured":"Dinh-Trong, T.T., Ghosh, S., France, R.B., Andrews, A.A.: A Systematic Approach to Testing UML Design Models. In: 4th International Workshop on Critical Systems Development Using Modeling Languages (CSDUML), Fredrikstad, Norway (2005)","key":"10_CR34"}],"container-title":["Lecture Notes in Computer Science","Software Composition"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02655-3_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T23:58:41Z","timestamp":1558396721000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02655-3_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642026546","9783642026553"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02655-3_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}