{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,19]],"date-time":"2025-11-19T06:55:06Z","timestamp":1763535306850},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319087887"},{"type":"electronic","value":"9783319087894"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-08789-4_1","type":"book-chapter","created":{"date-parts":[[2014,7,4]],"date-time":"2014-07-04T05:04:23Z","timestamp":1404450263000},"page":"1-16","source":"Crossref","is-referenced-by-count":5,"title":["On the Usage of TGGs for Automated Model Transformation Testing"],"prefix":"10.1007","author":[{"given":"Martin","family":"Wieber","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anthony","family":"Anjorin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andy","family":"Sch\u00fcrr","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"1_CR1","first-page":"69","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. SoSyM\u00a09(1), 69\u201386 (2010)","journal-title":"SoSyM"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1007\/978-3-642-33654-6_24","volume-title":"Graph Transformations","author":"A. Anjorin","year":"2012","unstructured":"Anjorin, A., Sch\u00fcrr, A., Taentzer, G.: Construction of Integrity Preserving Triple Graph Grammars. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2012. LNCS, vol.\u00a07562, pp. 356\u2013370. Springer, Heidelberg (2012)"},{"key":"1_CR3","unstructured":"Anjorin, A., Varr\u00f3, G., Sch\u00fcrr, A.: Complex Attribute Manipulation in TGGs with Constraint-Based Programming Techniques. In: Proc. Workshop on BX 2012. ECEASST, vol.\u00a049, EASST (2012)"},{"key":"1_CR4","unstructured":"Baudry, B., Dinh-Trong, T., Mottu, J.M., Simmonds, D., France, R., Ghosh, S., Fleurey, F., Le Traon, Y.: Model Transformation Testing Challenges. In: Proc. IMDT Workshop 2006, Bilbao, Spain (2006)"},{"issue":"6","key":"1_CR5","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1016\/j.is.2010.01.001","volume":"35","author":"D. Benavides","year":"2010","unstructured":"Benavides, D., Segura, S., Ruiz-Cort\u00e9s, A.: Automated analysis of feature models 20 years later: A literature review. Information Systems\u00a035(6), 615\u2013636 (2010)","journal-title":"Information Systems"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: UMLtoCSP: A tool for the formal verification of UML\/OCL models using constraint programming. In: Proc. ASE 2007, pp. 547\u2013548. ACM (2007)","DOI":"10.1145\/1321631.1321737"},{"issue":"3","key":"1_CR7","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1147\/sj.453.0621","volume":"45","author":"K. Czarnecki","year":"2006","unstructured":"Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Syst. J.\u00a045(3), 621\u2013645 (2006)","journal-title":"IBM Syst. J."},{"issue":"4","key":"1_CR8","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"},{"issue":"4","key":"1_CR9","first-page":"479","volume":"8","author":"K. Ehrig","year":"2009","unstructured":"Ehrig, K., K\u00fcster, J.M., Taentzer, G.: Generating instance models from meta models. SoSyM\u00a08(4), 479\u2013500 (2009)","journal-title":"SoSyM"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"F\u00fcrst, L., Mernik, M., Mahni\u010d, V.: Converting metamodels to graph grammars: doing without advanced graph grammar features. SoSyM, 1\u201321 (2013)","DOI":"10.1007\/s10270-013-0380-2"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"414","DOI":"10.1007\/978-3-642-34281-3_29","volume-title":"Formal Methods and Software Engineering","author":"S. Ganov","year":"2012","unstructured":"Ganov, S., Khurshid, S., Perry, D.E.: Annotations for Alloy: Automated Incremental Analysis Using Domain Specific Solvers. In: Aoki, T., Taguchi, K. (eds.) ICFEM 2012. LNCS, vol.\u00a07635, pp. 414\u2013429. Springer, Heidelberg (2012)"},{"issue":"4","key":"1_CR12","first-page":"386","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. SoSyM\u00a04(4), 386\u2013398 (2005)","journal-title":"SoSyM"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Gonzalez, C., Buttner, F., Clariso, R., Cabot, J.: EMFtoCSP: A tool for the lightweight verification of EMF models. In: Proc. FormSERA 2012, pp. 44\u201350 (2012)","DOI":"10.1109\/FormSERA.2012.6229788"},{"issue":"1","key":"1_CR14","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s10515-012-0102-y","volume":"20","author":"E. Guerra","year":"2013","unstructured":"Guerra, E., Lara, J., Wimmer, M., Kappel, G., Kusel, A., Retschitzegger, W., Sch\u00f6nb\u00f6ck, J., Schwinger, W.: Automated verification of model transformations based on visual contracts. Autom. Softw. Eng.\u00a020(1), 5\u201346 (2013)","journal-title":"Autom. Softw. Eng."},{"key":"1_CR15","unstructured":"Guerra, E., Soeken, M.: Specification-driven model transformation testing. SoSyM, 1\u201322 (2013)"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Hennessy, M., Power, J.F.: An analysis of rule coverage as a criterion in generating minimal test suites for grammar-based software. In: Proc. ASE 2005, pp. 104\u2013113. ACM (2005)","DOI":"10.1145\/1101908.1101926"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Hildebrandt, S., Lambers, L., Giese, H.: Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations. In: Duddy, K., Kappel, G. (eds.) ICMT 2013. LNCS, vol.\u00a07909, pp. 174\u2013188. Springer, Heidelberg (2013)","DOI":"10.1007\/978-3-642-38883-5_16"},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/978-3-642-34176-2_20","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"S. Hildebrandt","year":"2012","unstructured":"Hildebrandt, S., Lambers, L., Giese, H., Petrick, D., Richter, I.: Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations. In: Sch\u00fcrr, A., Varr\u00f3, D., Varr\u00f3, G. (eds.) AGTIVE 2011. LNCS, vol.\u00a07233, pp. 238\u2013253. Springer, Heidelberg (2012)"},{"key":"1_CR19","unstructured":"Hildebrandt, S., Lambers, L., Giese, H., Rieke, J., Greenyer, J., Sch\u00e4fer, W., Lauder, M., Anjorin, A., Sch\u00fcrr, A.: A Survey of Triple Graph Grammar Tools. In: Proc. Workshop on BX 2013 (2013) accepted for publ. (to appear)"},{"issue":"1","key":"1_CR20","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1007\/s11086-005-0008-6","volume":"31","author":"A. Kossatchev","year":"2005","unstructured":"Kossatchev, A., Posypkin, M.: Survey of Compiler Testing Methods. Program. and Comp. Softw.\u00a031(1), 10\u201319 (2005)","journal-title":"Program. and Comp. Softw."},{"key":"1_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/3-540-45314-8_15","volume-title":"Fundamental Approaches to Software Engineering","author":"R. L\u00e4mmel","year":"2001","unstructured":"L\u00e4mmel, R.: Grammar Testing. In: Hussmann, H. (ed.) FASE 2001. LNCS, vol.\u00a02029, pp. 201\u2013216. Springer, Heidelberg (2001)"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Mottu, J.M., Baudry, B., Le Traon, Y.: Model transformation testing: Oracle issue. In: Proc. the ICSTW 2008, pp. 105\u2013112 (2008)","DOI":"10.1109\/ICSTW.2008.27"},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"Mottu, J.M., Sen, S., Tisi, M., Cabot, J.: Static Analysis of Model Transformations for Effective Test Generation. In: Proc. ISSRE 2012, pp. 291\u2013300 (2012)","DOI":"10.1109\/ISSRE.2012.7"},{"key":"1_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1007\/11787044_28","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"J.-M. Mottu","year":"2006","unstructured":"Mottu, J.-M., Baudry, B., Le Traon, Y.: Mutation Analysis Testing for Model Transformations. In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol.\u00a04066, pp. 376\u2013390. Springer, Heidelberg (2006)"},{"issue":"3","key":"1_CR25","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/BF01932308","volume":"12","author":"P. Purdom","year":"1972","unstructured":"Purdom, P.: A sentence generator for testing parsers. BIT Numerical Mathematics\u00a012(3), 366\u2013375 (1972)","journal-title":"BIT Numerical Mathematics"},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrr, A.: Specification of Graph Translators with Triple Graph Grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) Graph-Theoretic Concepts in Computer Science. LNCS, vol.\u00a0903, pp. 151\u2013163. Springer, Heidelberg (1995)","DOI":"10.1007\/3-540-59071-4_45"},{"key":"1_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"408","DOI":"10.1007\/978-3-540-88643-3_10","volume-title":"Generative and Transformational Techniques in Software Engineering II","author":"P. Stevens","year":"2008","unstructured":"Stevens, P.: A Landscape of Bidirectional Model Transformations. In: L\u00e4mmel, R., Visser, J., Saraiva, J. (eds.) Generative and Transformational Techniques in Software Engineering II. LNCS, vol.\u00a05235, pp. 408\u2013424. Springer, Heidelberg (2008)"},{"key":"1_CR28","unstructured":"Taentzer, G.: Instance Generation from Type Graphs with Arbitrary Multiplicities. In: Proc. GT-VMT 2012. ECEASST, vol.\u00a047, EASST (2012)"}],"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-319-08789-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T02:57:00Z","timestamp":1558925820000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-08789-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319087887","9783319087894"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08789-4_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}