{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T13:12:58Z","timestamp":1773148378152,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540359098","type":"print"},{"value":"9783540359104","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11787044_28","type":"book-chapter","created":{"date-parts":[[2006,6,28]],"date-time":"2006-06-28T10:19:58Z","timestamp":1151489998000},"page":"376-390","source":"Crossref","is-referenced-by-count":54,"title":["Mutation Analysis Testing for Model Transformations"],"prefix":"10.1007","author":[{"given":"Jean-Marie","family":"Mottu","sequence":"first","affiliation":[]},{"given":"Benoit","family":"Baudry","sequence":"additional","affiliation":[]},{"given":"Yves","family":"Le Traon","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"28_CR1","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.: The Revealing Power of a Test Case. Software Testing, Verification and Reliability\u00a02(1), 25\u201342 (1992)","journal-title":"Software Testing, Verification and Reliability"},{"key":"28_CR2","doi-asserted-by":"crossref","unstructured":"Offutt, A.J., Pan, J., Tewary, K., Zhang, T.: An experimental evaluation of data flow and mutation testing. Software Practice and Experience\u00a026(2) (1996)","DOI":"10.1002\/(SICI)1097-024X(199602)26:2<165::AID-SPE5>3.0.CO;2-K"},{"issue":"4","key":"28_CR3","doi-asserted-by":"crossref","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. IEEE Computer\u00a011(4), 34\u201341 (1978)","journal-title":"IEEE Computer"},{"issue":"2","key":"28_CR4","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. Software Testing, Verification and Reliability\u00a015(2), 97\u2013133 (2005)","journal-title":"Software Testing, Verification and Reliability"},{"key":"28_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"Satellite Events at the MoDELS 2005 Conference","author":"P.-A. Muller","year":"2006","unstructured":"Muller, P.-A., Fleurey, F., Vojtisek, D., Drey, Z., Pollet, D., Fondement, F., Studer, P., J\u00e9z\u00e9quel, J.-M.: On Executable Meta-Languages applied to Model Transformations. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol.\u00a03844. Springer, Heidelberg (2006)"},{"key":"28_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/11663430_15","volume-title":"Satellite Events at the MoDELS 2005 Conference","author":"M. Lawley","year":"2006","unstructured":"Lawley, M., Steel, J.: Practical Declarative Model Transformation with Tefkat. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol.\u00a03844, pp. 139\u2013150. Springer, Heidelberg (2006)"},{"key":"28_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-540-45221-8_17","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"J. B\u00e9zivin","year":"2003","unstructured":"B\u00e9zivin, J., Farcet, N., J\u00e9z\u00e9quel, J.-M., Langlois, B., Pollet, D.: Reflective Model Driven Engineering. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol.\u00a02863, pp. 175\u2013189. Springer, Heidelberg (2003)"},{"key":"28_CR8","unstructured":"Judson, S.R., France, R., Carver, D.L.: Model Transformations at the Metamodel Level. In: Workshop in Software Model Engineering (in conjunction with UML 2003), San Francisco, CA, USA (2003)"},{"key":"28_CR9","doi-asserted-by":"crossref","unstructured":"Steel, J., Lawley, M.: Model-Based Test Driven Development of the Tefkat Model-Transformation Engine. In: ISSRE 2004 Int. Symposium on Software Reliability Engineering, Saint-Malo, France (2004)","DOI":"10.1109\/ISSRE.2004.23"},{"key":"28_CR10","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)"},{"key":"28_CR11","unstructured":"K\u00fcster, J.M.: Systematic Validation of Model Transformations. In: WiSME 2004 (associated to UML 2004), Lisbon, Portugal (2004)"},{"key":"28_CR12","unstructured":"Fleurey, F., Steel, J., Baudry, B.: Validation in Model-Driven Engineering: Testing Model Transformations. In: MoDeVa, Rennes, France (2004)"},{"issue":"4","key":"28_CR13","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1002\/stvr.239","volume":"11","author":"S. Ghosh","year":"2001","unstructured":"Ghosh, S., Mathur, A.: Interface mutation. Software Testing, Verification and Reliability\u00a011(4), 227\u2013247 (2001)","journal-title":"Software Testing, Verification and Reliability"},{"key":"28_CR14","unstructured":"Trung, D.-T., Ghosh, S., Robert, F., Baudry, B., Fleurey, F.: A Taxonomy of Faults for UML Designs. In: 2nd MoDeVa workshop - Model design and Validation, in conjunction with MoDELS 2005, Montego Bay, Jamaica (2005)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Architecture \u2013 Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11787044_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,11]],"date-time":"2019-03-11T16:37:48Z","timestamp":1552322268000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11787044_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540359098","9783540359104"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11787044_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}