{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T03:37:53Z","timestamp":1725593873705},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642219511"},{"type":"electronic","value":"9783642219528"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21952-8_3","type":"book-chapter","created":{"date-parts":[[2011,6,28]],"date-time":"2011-06-28T02:33:12Z","timestamp":1309228392000},"page":"3-19","source":"Crossref","is-referenced-by-count":8,"title":["Test Suite Quality for Model Transformation Chains"],"prefix":"10.1007","author":[{"given":"Eduard","family":"Bauer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jochen M.","family":"K\u00fcster","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregor","family":"Engels","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"IBM WebSphere Business Modeler, http:\/\/www.ibm.com\/software\/integration\/wbimodeler\/"},{"key":"3_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)"},{"issue":"2","key":"3_CR3","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1002\/stvr.270","volume":"13","author":"A. Andrews","year":"2003","unstructured":"Andrews, A., France, R., Ghosh, S., Craig, G.: Test Adequacy Criteria for UML Design Models. Software Testing, Verification and Reliability\u00a013(2), 95\u2013127 (2003)","journal-title":"Software Testing, Verification and Reliability"},{"key":"3_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: Proceedings of IMDT workshop in conjunction with ECMDA 2006, Bilbao, Spain (2006)"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Bauer, E.: Analyzing Test Suites for Model Transformation Chains. Master\u2019s thesis, University of Paderborn (2010)","DOI":"10.1007\/978-3-642-21952-8_3"},{"key":"3_CR6","first-page":"267","volume-title":"ASE 2002: 17th IEEE International Conference on Automated Software Engineering","author":"G. Csert\u00e1n","year":"2002","unstructured":"Csert\u00e1n, G., Huszerl, G., Majzik, I., Pap, Z., Pataricza, A., Varr\u00f3, D.: VIATRA: Visual Automated Transformations for Formal Verification and Validation of UML Models. In: ASE 2002: 17th IEEE International Conference on Automated Software Engineering, pp. 267\u2013270. IEEE Computer Society Press, Los Alamitos (2002)"},{"issue":"3","key":"3_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 Systems Journal\u00a045(3), 621\u2013645 (2006)","journal-title":"IBM Systems Journal"},{"key":"3_CR8","unstructured":"Cariou, E., Marvie, R., Seinturier, L., Duchien, L.: OCL for the Specification of Model Transformation Contracts. In: Workshop OCL and Model Driven Engineering of the Seventh International Conference on UML Modeling Languages and Applications UML 2004, Lisbon, Portugual, October 12 (2004)"},{"issue":"2","key":"3_CR9","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., Le Traon, Y.: Qualifying Input Test Data for Model Transformations. Software and Systems Modeling\u00a08(2), 185\u2013203 (2009)","journal-title":"Software and Systems Modeling"},{"key":"3_CR10","unstructured":"Object Management Group (OMG). Meta Object Facility (MOF) 2.0 Query\/View\/Transformation Specification Version 1.1 (January 2011)"},{"key":"3_CR11","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1109\/VLHCC.2010.25","volume-title":"IEEE Symposium on Visual Languages and Human-Centric Computing","author":"E. Guerra","year":"2010","unstructured":"Guerra, E., de Lara, J., Kolovos, D., Paige, R.: A Visual Specification Language for Model-to-Model Transformations. In: IEEE Symposium on Visual Languages and Human-Centric Computing, vol.\u00a00, pp. 119\u2013126. IEEE Computer Society Press, Los Alamitos (2010)"},{"issue":"3","key":"3_CR12","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1145\/152388.152391","volume":"2","author":"M.J. Harrold","year":"1993","unstructured":"Harrold, M.J., Gupta, R., Soffa, M.L.: A Methodology for Controlling the Size of a Test Suite. ACM Transactions on Software Engineering and Methodology\u00a02(3), 270\u2013285 (1993)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"3_CR13","first-page":"176","volume-title":"Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE)","author":"M. Heimdahl","year":"2004","unstructured":"Heimdahl, M., George, D.: Test-suite Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing. In: Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE), pp. 176\u2013185. IEEE Computer Society, Los Alamitos (2004)"},{"issue":"1-2","key":"3_CR14","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.scico.2007.08.002","volume":"72","author":"F. Jouault","year":"2008","unstructured":"Jouault, F., Allilaire, F., B\u00e9zivin, J., Kurtev, I.: ATL: A Model Transformation Tool. Science of Computer Programming\u00a072(1-2), 31\u201339 (2008)","journal-title":"Science of Computer Programming"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/978-3-540-85758-7_19","volume-title":"Business Process Management","author":"J.M. K\u00fcster","year":"2008","unstructured":"K\u00fcster, J.M., Gerth, C., F\u00f6rster, A., Engels, G.: Detecting and Resolving Process Model Differences in the Absence of a Change Log. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol.\u00a05240, pp. 244\u2013260. Springer, Heidelberg (2008)"},{"key":"3_CR16","first-page":"116","volume-title":"ICSE 2000: Proceedings of the 22nd International Conference on Software Engineering","author":"D. Leon","year":"2000","unstructured":"Leon, D., Podgurski, A., White, L.: Multivariate Visualization in Observation-based Testing. In: ICSE 2000: Proceedings of the 22nd International Conference on Software Engineering, pp. 116\u2013125. ACM Press, New York (2000)"},{"key":"3_CR17","unstructured":"McQuillan, J., Power, J.: White-Box Coverage Criteria for Model Transformations. In: 1st International Workshop on Model Transformation with ATL, Nantes, France, July 8-9 (2009)"},{"issue":"10","key":"3_CR18","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Applying \u201dDesign by Contract\u201d. Computer\u00a025(10), 40\u201351 (1992)","journal-title":"Computer"},{"key":"3_CR19","unstructured":"Object Management Group (OMG). Business Process Modeling Notation, V2.0 Beta 2 (June 2010)"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Parsa, S., Khalilian, A., Fazlalizadeh, Y.: A New Algorithm to Test Suite Reduction Based on Cluster Analysis. In: International Conference on Computer Science and Information Technology, vol.\u00a00, pp. 189\u2013193 (2009)","DOI":"10.1109\/ICCSIT.2009.5234742"},{"key":"3_CR21","first-page":"34","volume-title":"ICSM 1998: Proceedings of the International Conference on Software Maintenance","author":"G. Rothermel","year":"1998","unstructured":"Rothermel, G., Harrold, M.J., Ostrin, J., Hong, C.: An Empirical Study of the Effects of Minimization on the Fault Detection Capabilities of Test Suites. In: ICSM 1998: Proceedings of the International Conference on Software Maintenance, pp. 34\u201343. IEEE Computer Society Press, Los Alamitos (1998)"},{"key":"3_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-540-69100-6_2","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"J. Pilgrim von","year":"2008","unstructured":"von Pilgrim, J., Vanhooff, B., Schulz-Gerlach, I., Berbers, Y.: Constructing and Visualizing Transformation Chains. In: Schieferdecker, I., Hartman, A. (eds.) ECMDA-FA 2008. LNCS, vol.\u00a05095, pp. 17\u201332. Springer, Heidelberg (2008)"},{"key":"3_CR23","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1109\/ICST.2010.47","volume-title":"ICST 2010: Proceedings of the 2010 Third International Conference on Software Testing, Verification and Validation","author":"S. Yan","year":"2010","unstructured":"Yan, S., Chen, Z., Zhao, Z., Zhang, C., Zhou, Y.: A Dynamic Test Cluster Sampling Strategy by Leveraging Execution Spectra Information. In: ICST 2010: Proceedings of the 2010 Third International Conference on Software Testing, Verification and Validation, pp. 147\u2013154. IEEE Computer Society Press, Washington, DC, USA (2010)"}],"container-title":["Lecture Notes in Computer Science","Objects, Models, Components, Patterns"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21952-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,26]],"date-time":"2021-11-26T19:55:59Z","timestamp":1637956559000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21952-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642219511","9783642219528"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21952-8_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}