{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,6]],"date-time":"2025-03-06T05:20:18Z","timestamp":1741238418457,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642212093"},{"type":"electronic","value":"9783642212109"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-21210-9_25","type":"book-chapter","created":{"date-parts":[[2011,5,13]],"date-time":"2011-05-13T06:06:37Z","timestamp":1305266797000},"page":"259-273","source":"Crossref","is-referenced-by-count":4,"title":["Traceability for Mutation Analysis in Model Transformation"],"prefix":"10.1007","author":[{"given":"Vincent","family":"Aranega","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Marie","family":"Mottu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anne","family":"Etien","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Luc","family":"Dekeyser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","unstructured":"EMFcompare, www.eclipse.org\/emft\/projects\/compare."},{"key":"25_CR2","unstructured":"Aranega, V., Mottu, J.-M., Etien, A., Dekeyser, J.-L.: Traceability mechanism for error localization in model transformation. In: ICSOFT, Bulgaria (July 2009)"},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"Aranega, V., Mottu, J.-M., Etien, A., Dekeyser, J.-L.: Using traceability to enhance mutation analysis dedicated to model transformation. In: Workshop MoDeVVa 2010 Associated with Models2010 Conference, Oslo, Norway (October 2010)","DOI":"10.1109\/MoDeVVa.2010.15"},{"issue":"2","key":"25_CR4","first-page":"73","volume":"15","author":"B. Baudry","year":"2005","unstructured":"Baudry, B., Fleurey, F., J\u00e9z\u00e9quel, J.-M., Le Traon, Y.: From genetic to bacteriological algorithms for mutation-based testing. STVR Journal\u00a015(2), 73\u201396 (2005)","journal-title":"STVR Journal"},{"key":"25_CR5","series-title":"Lecture Notes in Computer Science","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, Springer, Heidelberg (2006)"},{"issue":"4","key":"25_CR6","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/C-M.1978.218136","volume":"11","author":"R. DeMillo","year":"1978","unstructured":"DeMillo, R., Lipton, R., Sayward, F.: Hints on test data selection: Help for the practicing programmer. Computer\u00a011(4), 34\u201341 (1978)","journal-title":"Computer"},{"key":"25_CR7","unstructured":"Fleurey, F., Baudry, B., Muller, P.-A., Le Traon, Y.: Towards dependable model transformations: Qualifying input test data. SoSyM Journal (2007)"},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"Fleurey, F., Steel, J., Baudry, B.: Validation in model-driven engineering: testing model transformations. In: Proceedings of MoDeVVa, pp. 29\u201340 (November 2004)","DOI":"10.1109\/MODEVA.2004.1425846"},{"key":"25_CR9","unstructured":"Glitia, F., Etien, A., Dumoulin, C.: Traceability for an MDE Approach of Embedded System Conception. In: ECMDA Traceability Workshop, Germany (2008)"},{"key":"25_CR10","first-page":"26","volume-title":"TEFSE Workshop","author":"J.H. Hayes","year":"2009","unstructured":"Hayes, J.H., Dekhtyar, A., Janzen, D.S.: Towards traceable test-driven development. In: TEFSE Workshop, USA, pp. 26\u201330. IEEE Computer Society, Los Alamitos (2009)"},{"key":"25_CR11","unstructured":"IEEE. IEEE standard computer dictionary : a compilation of IEEE standard computer glossaries. IEEE Computer Society Press, New York (1991)"},{"key":"25_CR12","unstructured":"Jia, Y., Harman, M.: An analysis and survey of the development of mutation testing. IEEE Transactions of Software Engineering (2010) (to appear)"},{"issue":"2","key":"25_CR13","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1002\/stvr.308","volume":"15","author":"Y.-S. Ma","year":"2005","unstructured":"Ma, Y.-S., Offutt, J., Kwon, Y.R.: Mujava: an automated class mutation system. Softw. Test. Verif. Reliab.\u00a015(2), 97\u2013133 (2005)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"25_CR14","doi-asserted-by":"crossref","unstructured":"Mottu, J.-M., Baudry, B., Le Traon, Y.: Mutation analysis testing for model transformations. In: ECMDA 2006, Spain (July 2006)","DOI":"10.1007\/11787044_28"},{"key":"25_CR15","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)"},{"key":"25_CR16","doi-asserted-by":"crossref","unstructured":"Murmane, T., Reed, K., Assoc, T., Carlton, V.: On the effectiveness of mutation analysis as a black box testing technique. In: Software Engineering Conference, pp. 12\u201320 (2001)","DOI":"10.1109\/ASWEC.2001.948492"},{"issue":"3","key":"25_CR17","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1002\/(SICI)1099-1689(199709)7:3<165::AID-STVR143>3.0.CO;2-U","volume":"7","author":"A.J. Offutt","year":"1997","unstructured":"Offutt, A.J., Pan, J.: Detecting equivalent mutants and the feasible path problem. Software Testing, Verification and Reliability\u00a07(3), 165\u2013192 (1997)","journal-title":"Software Testing, Verification and Reliability"},{"key":"25_CR18","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, Norway (April 2008)","DOI":"10.1109\/ICST.2008.62"},{"issue":"3","key":"25_CR19","first-page":"322","volume":"35","author":"A. Sim ao","year":"2009","unstructured":"Sim ao, A., Maldonado, J.C., da Silva Bigonha, R.: A transformational language for mutant description. Comput. Lang. Syst. Struct.\u00a035(3), 322\u2013339 (2009)","journal-title":"Comput. Lang. Syst. Struct."},{"issue":"1","key":"25_CR20","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1002\/stvr.4370020105","volume":"2","author":"J.M. Voas","year":"1992","unstructured":"Voas, J.M., Miller, K.W.: The revealing power of a test case. Softw. Test., Verif. Reliab.\u00a02(1), 25\u201342 (1992)","journal-title":"Softw. Test., Verif. Reliab."}],"container-title":["Lecture Notes in Computer Science","Models in Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21210-9_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,5]],"date-time":"2025-03-05T14:36:17Z","timestamp":1741185377000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21210-9_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642212093","9783642212109"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21210-9_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}