{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T17:49:48Z","timestamp":1725731388418},"publisher-location":"Berlin, Heidelberg","reference-count":27,"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_18","type":"book-chapter","created":{"date-parts":[[2013,6,12]],"date-time":"2013-06-12T01:26:40Z","timestamp":1371000400000},"page":"205-220","source":"Crossref","is-referenced-by-count":2,"title":["Systematic Testing of Graph Transformations: A Practical Approach Based on Graph Patterns"],"prefix":"10.1007","author":[{"given":"Martin","family":"Wieber","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andy","family":"Sch\u00fcrr","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809163","volume-title":"Introduction to Software Testing","author":"P. Ammann","year":"2008","unstructured":"Ammann, P., Offutt, J.: Introduction to Software Testing, 1st edn. Cambridge University Press, New York (2008)","edition":"1"},{"key":"18_CR2","unstructured":"Anjorin, A., Lauder, M., Patzina, S., Sch\u00fcrr, A.: eMoflon: Leveraging EMF and Professional CASE Tools. In: INFORMATIK 2011. LNI, vol.\u00a0192, p. 281. GI (2011)"},{"key":"18_CR3","unstructured":"Anjorin, A., Oster, S., Zorcic, I., Sch\u00fcrr, A.: Optimizing Model-Based Software Product Line Testing with Graph Transformations. In: Margaria, T., Padberg, J., Taentzer, G. (eds.) Proc. GT-VMT 2012. Electr. Comms. of the EASST, vol.\u00a047, EASST (2012)"},{"key":"18_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-540-30203-2_15","volume-title":"Graph Transformations","author":"P. Baldan","year":"2004","unstructured":"Baldan, P., K\u00f6nig, B., St\u00fcrmer, I.: Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol.\u00a03256, pp. 194\u2013209. Springer, Heidelberg (2004)"},{"key":"18_CR5","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. ECMDA workshop on Integration of MDD and MDT, Bilbao, Spain (2006)"},{"issue":"6","key":"18_CR6","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1145\/1743546.1743583","volume":"53","author":"B. Baudry","year":"2010","unstructured":"Baudry, B., Ghosh, S., Fleurey, F., France, R., Le Traon, Y., Mottu, J.M.: Barriers to Systematic Model Transformation Testing. Commun. ACM\u00a053(6), 139\u2013143 (2010)","journal-title":"Commun. ACM"},{"key":"18_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-642-21952-8_3","volume-title":"Objects, Models, Components, Patterns","author":"E. Bauer","year":"2011","unstructured":"Bauer, E., K\u00fcster, J.M., Engels, G.: Test Suite Quality for Model Transformation Chains. In: Bishop, J., Vallecillo, A. (eds.) TOOLS 2011. LNCS, vol.\u00a06705, pp. 3\u201319. Springer, Heidelberg (2011)"},{"issue":"6","key":"18_CR8","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. Inf. Syst.\u00a035(6), 615\u2013636 (2010)","journal-title":"Inf. Syst."},{"key":"18_CR9","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/s10270-009-0129-0","volume":"9","author":"J. Cabot","year":"2010","unstructured":"Cabot, J., Claris, R., Guerra, E., de Lara, J.: A UML\/OCL framework for the analysis of graph transformation rules. SoSyM\u00a09, 335\u2013357 (2010)","journal-title":"SoSyM"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Ciancone, A., Filieri, A., Mirandola, R.: MANTra: Towards Model Transformation Testing. In: QUATIC 2010, pp. 97\u2013105. IEEE (2010)","DOI":"10.1109\/QUATIC.2010.15"},{"key":"18_CR11","first-page":"75","volume":"211","author":"A. Darabos","year":"2008","unstructured":"Darabos, A., Pataricza, A., Varr\u00f3, D.: Towards Testing the Implementation of Graph Transformations. ENTCS\u00a0211, 75\u201385 (2008)","journal-title":"ENTCS"},{"issue":"4","key":"18_CR12","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":"9","key":"18_CR13","doi-asserted-by":"publisher","first-page":"900","DOI":"10.1109\/32.92910","volume":"17","author":"R. DeMillo","year":"1991","unstructured":"DeMillo, R., Offutt, J.: Constraint-based Automatic Test Data Generation. Software Engineering, IEEE Transactions on\u00a017(9), 900\u2013910 (1991)","journal-title":"Software Engineering, IEEE Transactions on"},{"key":"18_CR14","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer (2006)"},{"key":"18_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/978-3-540-46464-8_21","volume-title":"Theory and Application of Graph Transformations","author":"T. Fischer","year":"2000","unstructured":"Fischer, T., Niere, J., Torunski, L., Z\u00fcndorf, A.: Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) TAGT 1998. LNCS, vol.\u00a01764, pp. 296\u2013309. Springer, Heidelberg (2000)"},{"key":"18_CR16","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/s10270-007-0074-8","volume":"8","author":"F. Fleurey","year":"2009","unstructured":"Fleurey, F., Baudry, B., Muller, P.A., Traon, Y.: Qualifying input test data for model transformations. SoSyM\u00a08, 185\u2013203 (2009)","journal-title":"SoSyM"},{"key":"18_CR17","unstructured":"Geiger, L.: Fehlersuche im Modell \u2013 Modellbasiertes Testen und Debuggen. Ph.D. thesis, Universit\u00e4t Kassel (2011)"},{"key":"18_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-642-30476-7_3","volume-title":"Theory and Practice of Model Transformations","author":"E. Guerra","year":"2012","unstructured":"Guerra, E.: Specification-driven test generation for model transformations. In: Hu, Z., de Lara, J. (eds.) ICMT 2012. LNCS, vol.\u00a07307, pp. 40\u201355. Springer, Heidelberg (2012)"},{"key":"18_CR19","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)"},{"key":"18_CR20","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":"18_CR21","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":"18_CR22","unstructured":"McQuillan, J., Power, J.: White-Box Coverage Criteria for Model Transformations. In (prel.) Proc. MtATL 2009, pp. 63\u201377. AtlanMod INRIA & EMN (2009)"},{"key":"18_CR23","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)"},{"volume-title":"Handbook of graph grammars and computing by graph transformation: volume I. foundations","year":"1997","key":"18_CR24","unstructured":"Rozenberg, G. (ed.): Handbook of graph grammars and computing by graph transformation: volume I. foundations. World Scientific, River Edge (1997)"},{"key":"18_CR25","doi-asserted-by":"crossref","unstructured":"Schmidt, D.: Guest Editor\u2019s Introduction: Model-Driven Engineering. IEEE Computer Society Computer\u00a039(2), 25\u201331 (2006)","DOI":"10.1109\/MC.2006.58"},{"key":"18_CR26","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)"},{"key":"18_CR27","unstructured":"Wieber, M., Sch\u00fcrr, A.: Gray Box Coverage Criteria for Testing Graph Pattern Matching. In: Krause, C., Westfechtel, B. (eds.) Proc. GraBaTs 2012. Electronic Communications of the EASST, vol.\u00a054, 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-642-38883-5_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T03:02:11Z","timestamp":1557802931000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38883-5_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642388828","9783642388835"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38883-5_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}