{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T17:49:50Z","timestamp":1725731390292},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642388828"},{"type":"electronic","value":"9783642388835"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38883-5_16","type":"book-chapter","created":{"date-parts":[[2013,6,12]],"date-time":"2013-06-12T01:26:40Z","timestamp":1371000400000},"page":"174-188","source":"Crossref","is-referenced-by-count":6,"title":["Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations"],"prefix":"10.1007","author":[{"given":"Stephan","family":"Hildebrandt","sequence":"first","affiliation":[]},{"given":"Leen","family":"Lambers","sequence":"additional","affiliation":[]},{"given":"Holger","family":"Giese","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"de Lara, J., Guerra, E.: Inter-modelling with graphical constraints: Foundations and applications. EC-EASST\u00a047 (2012)","key":"16_CR1"},{"key":"16_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/978-3-540-69489-2_23","volume-title":"Models in Software Engineering","author":"G. Engels","year":"2007","unstructured":"Engels, G., G\u00fcldali, B., Lohmann, M.: Towards model-driven unit testing. In: K\u00fchne, T. (ed.) MoDELS 2006. LNCS, vol.\u00a04364, pp. 182\u2013192. Springer, Heidelberg (2007)"},{"key":"16_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-642-13688-7_6","volume-title":"Theory and Practice of Model Transformations","author":"C. Fiorentini","year":"2010","unstructured":"Fiorentini, C., Momigliano, A., Ornaghi, M., Poernomo, I.: A constructive approach to testing model transformations. In: Tratt, L., Gogolla, M. (eds.) ICMT 2010. LNCS, vol.\u00a06142, pp. 77\u201392. Springer, Heidelberg (2010)"},{"unstructured":"Fleurey, F., Steel, J., Baudry, B.: Validation in model-driven engineering: Testing model transformations. In: Proc. of MoDeVa 2004, pp. 29\u201340. IEEE Computer Society Press (2004)","key":"16_CR4"},{"doi-asserted-by":"crossref","unstructured":"Giese, H., Hildebrandt, S., Lambers, L.: Toward bridging the gap between formal semantics and implementation of triple graph grammars. Technical Report\u00a037, Hasso Plattner Institute at the University of Potsdam (2010)","key":"16_CR5","DOI":"10.1109\/MoDeVVa.2010.14"},{"doi-asserted-by":"crossref","unstructured":"Giese, H., Hildebrandt, S., Lambers, L.: Bridging the gap between formal semantics and implementation of triple graph grammars. Software and Systems Modeling, 1\u201327 (2012)","key":"16_CR6","DOI":"10.1007\/s10270-012-0247-y"},{"key":"16_CR7","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1016\/j.tcs.2012.01.032","volume":"424","author":"U. Golas","year":"2012","unstructured":"Golas, U., Lambers, L., Ehrig, H., Orejas, F.: Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs. Theor. Comput. Sci.\u00a0424, 46\u201368 (2012)","journal-title":"Theor. Comput. Sci."},{"key":"16_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-540-31984-9_4","volume-title":"Fundamental Approaches to Software Engineering","author":"R. Heckel","year":"2005","unstructured":"Heckel, R., Mariani, L.: Automatic conformance testing of web services. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol.\u00a03442, pp. 34\u201348. Springer, Heidelberg (2005)"},{"unstructured":"Hermann, F., Ehrig, H., Golas, U., Orejas, F.: Efficient analysis and execution of correct and complete model transformations based on triple graph grammars. In: Proc. of MDI 2012, pp. 22\u201331. ACM (2012)","key":"16_CR9"},{"key":"16_CR10","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":"16_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-540-69489-2_24","volume-title":"Models in Software Engineering","author":"J.M. K\u00fcster","year":"2007","unstructured":"K\u00fcster, J.M., Abd-El-Razik, M.: Validation of model transformations \u2013 first experiences using a white box approach. In: K\u00fchne, T. (ed.) MoDELS 2006. LNCS, vol.\u00a04364, pp. 193\u2013204. Springer, Heidelberg (2007)"},{"key":"16_CR12","volume-title":"Proc. GT-VMT 2008","author":"L. Lambers","year":"2008","unstructured":"Lambers, L., Ehrig, H., Taentzer, G.: Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences. In: de Lara, J., Ermel, C., Heckel, R. (eds.) Proc. GT-VMT 2008, vol.\u00a010, EC-EASST, Budapest (2008)"},{"unstructured":"Lambers, L., Hildebrandt, S., Giese, H., Orejas, F.: Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case. In: Proceedings of BX 2012, vol.\u00a049, pp. 1\u201316. EC-EASST (2012)","key":"16_CR13"},{"key":"16_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1007\/978-3-540-87405-8_28","volume-title":"Graph Transformations","author":"A. Sch\u00fcrr","year":"2008","unstructured":"Sch\u00fcrr, A., Klar, F.: 15 years of triple graph grammars: research challenges, new contributions, open problems. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol.\u00a05214, pp. 411\u2013425. Springer, Heidelberg (2008)"},{"key":"16_CR15","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)"}],"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-38883-5_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T03:14:08Z","timestamp":1557803648000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38883-5_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642388828","9783642388835"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38883-5_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}