{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:26:47Z","timestamp":1725470807555},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336539"},{"type":"electronic","value":"9783642336546"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33654-6_19","type":"book-chapter","created":{"date-parts":[[2012,9,18]],"date-time":"2012-09-18T03:47:41Z","timestamp":1347940061000},"page":"279-293","source":"Crossref","is-referenced-by-count":5,"title":["Testing against Visual Contracts: Model-Based Coverage"],"prefix":"10.1007","author":[{"given":"Tamim Ahmed","family":"Khan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olga","family":"Runge","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reiko","family":"Heckel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"AGG: AGG - Attributed Graph Grammar System Environment (2007), http:\/\/tfs.cs.tu-berlin.de\/agg","key":"19_CR1"},{"key":"19_CR2","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. Cambridge University Press, New York (2008)"},{"key":"19_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1007\/978-3-540-85571-2_13","volume-title":"Architecting Dependable Systems V","author":"C. Bartolini","year":"2008","unstructured":"Bartolini, C., Bertolino, A., Marchetti, E., Parissis, I.: Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples. In: de Lemos, R., Di Giandomenico, F., Gacek, C., Muccini, H., Vieira, M. (eds.) Architecting Dependable Systems V. LNCS, vol.\u00a05135, pp. 298\u2013325. Springer, Heidelberg (2008)"},{"key":"19_CR4","volume-title":"Black-box testing: techniques for functional testing of software and systems","author":"B. Beizer","year":"1995","unstructured":"Beizer, B.: Black-box testing: techniques for functional testing of software and systems. John Wiley & Sons, Inc., New York (1995)"},{"doi-asserted-by":"crossref","unstructured":"Belli, F., Guandler, N., Linschulte, M.: Are longer test sequences always better? - a reliability theoretical analysis. In: Fourth International Conference on Secure Software Integration and Reliability Improvement Companion (SSIRI-C), pp. 78\u201385. IEEE (June 2010)","key":"19_CR5","DOI":"10.1109\/SSIRI-C.2010.26"},{"key":"19_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-642-17322-6_7","volume-title":"Graph Transformations and Model-Driven Engineering","author":"E. Biermann","year":"2010","unstructured":"Biermann, E., Ehrig, H., Ermel, C., Golas, U., Taentzer, G.: Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation. In: Engels, G., Lewerentz, C., Sch\u00e4fer, W., Sch\u00fcrr, A., Westfechtel, B. (eds.) Nagl Festschrift. LNCS, vol.\u00a05765, pp. 121\u2013140. Springer, Heidelberg (2010)"},{"doi-asserted-by":"crossref","unstructured":"Briand, L., Labiche, Y., Lin, Q.: Improving the coverage criteria of UML state machines using data flow analysis. Software Testing, Validation, and Reliability 20(3) (2010)","key":"19_CR7","DOI":"10.1002\/stvr.410"},{"key":"19_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/978-3-540-31862-0_18","volume-title":"Theoretical Aspects of Computing - ICTAC 2004","author":"Y. Chen","year":"2005","unstructured":"Chen, Y., Liu, S., Nagoya, F.: An Approach to Integration Testing Based on Data Flow Specifications. In: Liu, Z., Araki, K. (eds.) ICTAC 2004. LNCS, vol.\u00a03407, pp. 235\u2013249. Springer, Heidelberg (2005)"},{"unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series). Springer (2006)","key":"19_CR9"},{"issue":"10","key":"19_CR10","doi-asserted-by":"publisher","first-page":"1483","DOI":"10.1109\/32.6194","volume":"14","author":"P.G. Frankl","year":"1988","unstructured":"Frankl, P.G., Weyuker, E.J.: An applicable family of data flow testing criteria. IEEE Trans. Softw. Eng.\u00a014(10), 1483\u20131498 (1988)","journal-title":"IEEE Trans. Softw. Eng."},{"unstructured":"Golas, U., Biermann, E., Ehrig, H., Ermel, C.: A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation. In: Proceedings of Int. Workshop on Graph Computation Models (GCM 2010). Electronic Communications of the EASST, vol.\u00a039 (2011)","key":"19_CR11"},{"key":"19_CR12","first-page":"121","volume-title":"Proceedings of Euromicro SEAA Conference 2009, Special Session on \u201cModel Driven Engineering\u201d","author":"B. G\u00fcldali","year":"2009","unstructured":"G\u00fcldali, B., Mlynarski, M., W\u00fcbbeke, A., Engels, G.: Model-based system testing using visual contracts. In: Proceedings of Euromicro SEAA Conference 2009, Special Session on \u201cModel Driven Engineering\u201d, pp. 121\u2013124. IEEE Computer Society, Washington, DC (2009)"},{"issue":"2","key":"19_CR13","doi-asserted-by":"publisher","first-page":"67","DOI":"10.4018\/jwsr.2005040104","volume":"2","author":"J.H. Hausmann","year":"2005","unstructured":"Hausmann, J.H., Heckel, R., Lohmann, M.: Model-based development of web services descriptions enabling a precise matching concept. Int. J. Web Service Res.\u00a02(2), 67\u201384 (2005)","journal-title":"Int. J. Web Service Res."},{"unstructured":"Heckel, R., Khan, T.A., Machado, R.: Towards test coverage criteria for visual contracts. In: Proceedings of Graph Transformation and Visual Modeling Techniques, GTVMT 2011. Electronic Communications of the EASST, vol.\u00a041 (2011)","key":"19_CR14"},{"issue":"4","key":"19_CR15","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1017\/S0960129501003553","volume":"12","author":"R. Heckel","year":"2002","unstructured":"Heckel, R., Llabr\u00e9s, M., Ehrig, H., Orejas, F.: Concurrency and loose semantics of open graph transformation systems. Mathematical Structures in Computer Science\u00a012(4), 349\u2013376 (2002)","journal-title":"Mathematical Structures in Computer Science"},{"key":"19_CR16","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1007\/s11859-008-0415-8","volume":"13","author":"J. Hou","year":"2008","unstructured":"Hou, J., Xu, B., Xu, L., Wang, D., Xu, J.: A testing method for web services composition based on data-flow. Wuhan University Journal of Natural Sciences\u00a013, 455\u2013460 (2008)","journal-title":"Wuhan University Journal of Natural Sciences"},{"unstructured":"Khan, T.A., Runge, O., Heckel, R.: Visual contracts as test oracle in AGG 2.0. In: Proceedings of Graph Transformation and Visual Modeling Techniques, GTVMT 2012. Electronic Communications of the EASST, vol.\u00a047 (2012)","key":"19_CR17"},{"doi-asserted-by":"crossref","unstructured":"Lohmann, M., Mariani, L., Heckel, R.: A model-driven approach to discovery, testing and monitoring of web services. In: Test and Analysis of Web Services, pp. 173\u2013204. Springer (2007)","key":"19_CR18","DOI":"10.1007\/978-3-540-72912-9_7"},{"doi-asserted-by":"crossref","unstructured":"Mei, L., Chan, W., Tse, T., Kuo, F.C.: An empirical study of the use of Frankl-Weyuker data flow testing criteria to test BPEL web services. In: 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009, vol.\u00a01, pp. 81\u201388 (July 2009)","key":"19_CR19","DOI":"10.1109\/COMPSAC.2009.21"},{"issue":"4","key":"19_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.5381\/jot.2010.9.4.a1","volume":"9","author":"E. Najumudheen","year":"2010","unstructured":"Najumudheen, E., Mall, R., Samanata, D.: A dependence representation for coverage testing of object-oriented programs. Journal of Object Technology\u00a09(4), 1\u201323 (2010)","journal-title":"Journal of Object Technology"},{"key":"19_CR21","doi-asserted-by":"publisher","first-page":"965","DOI":"10.1109\/32.58784","volume":"16","author":"A. Podgurski","year":"1990","unstructured":"Podgurski, A., Lori, C.A.: A formal model of program dependences and its implications for software testing, debugging, and maintenance. IEEE Transactions on Software Engineering\u00a016, 965\u2013979 (1990)","journal-title":"IEEE Transactions on Software Engineering"},{"doi-asserted-by":"crossref","unstructured":"Runge, O., Ermel, C., Taentzer, G.: AGG 2.0 \u2013 new features for specifying and analyzing algebraic graph transformations. In: Proceedings of the 4th International Symposium on Applications of Graph Transformation with Industrial Relevance, AGTIVE 2011. LNCS, vol.\u00a07233, Springer (2012)","key":"19_CR22","DOI":"10.1007\/978-3-642-34176-2_8"},{"key":"19_CR23","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1145\/1145718.1145721","volume-title":"Proceedings of the 2006 Workshop on Testing, Analysis, and Verification of Web Services and Applications, TAV-WEB 2006","author":"A. Sinha","year":"2006","unstructured":"Sinha, A., Paradkar, A.: Model-based functional conformance testing of web services operating on persistent data. In: Proceedings of the 2006 Workshop on Testing, Analysis, and Verification of Web Services and Applications, TAV-WEB 2006, pp. 17\u201322. ACM, New York (2006)"},{"key":"19_CR24","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1145\/267580.267590","volume":"29","author":"H. Zhu","year":"1997","unstructured":"Zhu, H., Hall, P.A.V., May, J.H.R.: Software unit test coverage and adequacy. ACM Comput. Surv.\u00a029, 366\u2013427 (1997)","journal-title":"ACM Comput. Surv."}],"container-title":["Lecture Notes in Computer Science","Graph Transformations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33654-6_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T03:12:39Z","timestamp":1606187559000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33654-6_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336539","9783642336546"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33654-6_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}