{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:52:09Z","timestamp":1725558729172},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642136870"},{"type":"electronic","value":"9783642136887"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13688-7_6","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T07:49:39Z","timestamp":1277797779000},"page":"77-92","source":"Crossref","is-referenced-by-count":13,"title":["A Constructive Approach to Testing Model Transformations"],"prefix":"10.1007","author":[{"given":"Camillo","family":"Fiorentini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Momigliano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mario","family":"Ornaghi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Iman","family":"Poernomo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"6_CR1","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/s10270-008-0110-3","volume":"9","author":"K. Anastasakis","year":"2010","unstructured":"Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: On challenges of model transformation from UML to Alloy. Software and System Modeling\u00a09(1), 69\u201386 (2010)","journal-title":"Software and System Modeling"},{"key":"6_CR2","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/978-3-540-69824-1_16","volume-title":"TOOLS (46)","author":"E.G. Aydal","year":"2008","unstructured":"Aydal, E.G., Utting, M., Woodcock, J.: A comparison of state-based modelling tools for model validation. In: Paige, R.F., Meyer, B. (eds.) TOOLS (46). Lecture Notes in Business Information Processing, vol.\u00a011, pp. 278\u2013296. Springer, Heidelberg (2008)"},{"key":"6_CR3","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: ECMDA workshop on Integration of Model Driven Development and Model Driven Testing (2006)"},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1007\/11663430_13","volume-title":"Satellite Events at the MoDELS 2005 Conference","author":"J. B\u00e9zivin","year":"2006","unstructured":"B\u00e9zivin, J., Rumpe, B., Sch\u00fcrr, A., Tratt, L.: Model transformations in practice workshop. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol.\u00a03844, pp. 120\u2013127. Springer, Heidelberg (2006)"},{"issue":"4","key":"6_CR5","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1007\/s10270-008-0095-y","volume":"8","author":"K. Ehrig","year":"2009","unstructured":"Ehrig, K., K\u00fcster, J.M., Taentzer, G.: Generating instance models from meta models. Software and System Modeling\u00a08(4), 479\u2013500 (2009)","journal-title":"Software and System Modeling"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-3-540-78769-3_12","volume-title":"Logic-Based Program Synthesis and Transformation","author":"M. Ferrari","year":"2008","unstructured":"Ferrari, M., Fiorentini, C., Momigliano, A., Ornaghi, M.: Snapshot generation in a constructive object-oriented modeling language. In: King, A. (ed.) LOPSTR 2007. LNCS, vol.\u00a04915, pp. 169\u2013184. Springer, Heidelberg (2008)"},{"key":"6_CR7","unstructured":"Fleury, F., Steel, J., Baudry, B.: Validation in model-driven engineering: Testing model transformations. In: MoDeVa 2004 (Model Design and Validation Workshop associated to ISSRE 2004), Rennes, France (November 2004)"},{"issue":"4","key":"6_CR8","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/s10270-005-0089-y","volume":"4","author":"M. Gogolla","year":"2005","unstructured":"Gogolla, M., Bohling, J., Richters, M.: Validating UML and OCL models in USE by automatic snapshot generation. Software and System Modeling\u00a04(4), 386\u2013398 (2005)","journal-title":"Software and System Modeling"},{"key":"6_CR9","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"D. Jackson","year":"2006","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. The MIT Press, Cambridge (2006)"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Jackson, E., Sztipanovits, J.: Formalizing the structural semantics of domain-specific modeling languages. Software and Systems Modeling (2009)","DOI":"10.1007\/s10270-008-0105-0"},{"key":"6_CR11","unstructured":"K\u00f6nigs, A., Sch\u00fcrr, A.: Multi-domain integration with MOF and extended triple graph grammars. In: Bezivin, J., Heckel, R. (eds.) Dagstuhl Seminar Proceedings Language Engineering for Model-Driven Software Development, Dagstuhl, Germany. No.\u00a004101 (2005)"},{"issue":"1","key":"6_CR12","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1305\/ndjfl\/1093634996","volume":"30","author":"P. Miglioli","year":"1989","unstructured":"Miglioli, P., Moscato, U., Ornaghi, M., Usberti, G.: A constructivism based on classical truth. Notre Dame Journal of Formal Logic\u00a030(1), 67\u201390 (1989)","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"1","key":"6_CR13","first-page":"67","volume":"153","author":"M. Ornaghi","year":"2006","unstructured":"Ornaghi, M., Benini, M., Ferrari, M., Fiorentini, C., Momigliano, A.: A constructive object oriented modeling language for information systems. ENTCS\u00a0153(1), 67\u201390 (2006)","journal-title":"ENTCS"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-540-69927-9_15","volume-title":"Theory and Practice of Model Transformations","author":"I. Poernomo","year":"2008","unstructured":"Poernomo, I.: Proofs-as-model-transformations. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol.\u00a05063, pp. 214\u2013228. Springer, Heidelberg (2008)"},{"key":"6_CR15","first-page":"328","volume-title":"ICST","author":"S. Sen","year":"2008","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. IEEE Computer Society, Los Alamitos (2008)"},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-642-02408-5_11","volume-title":"Theory and Practice of Model Transformations","author":"S. Sen","year":"2009","unstructured":"Sen, S., Baudry, B., Mottu, J.-M.: Automatic model generation strategies for model transformation testing. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol.\u00a05563, pp. 148\u2013164. Springer, Heidelberg (2009)"},{"issue":"8","key":"6_CR17","doi-asserted-by":"publisher","first-page":"571","DOI":"10.1109\/TSE.2006.79","volume":"32","author":"Y.L. Traon","year":"2006","unstructured":"Traon, Y.L., Baudry, B., Jezequel, J.-M.: Design by contract to improve software vigilance. IEEE Trans. Softw. Eng.\u00a032(8), 571\u2013586 (2006)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"6_CR18","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1016\/S0049-237X(98)80021-9","volume-title":"Handbook of Proof Theory","author":"A.S. Troelstra","year":"1998","unstructured":"Troelstra, A.S.: Realizability. In: Buss, S.R. (ed.) Handbook of Proof Theory, ch.\u00a04, pp. 407\u2013473. Elsevier, Amsterdam (1998)"}],"container-title":["Lecture Notes in Computer Science","Theory and Practice of Model Transformations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13688-7_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T08:10:52Z","timestamp":1619770252000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13688-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642136870","9783642136887"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13688-7_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}