{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T04:19:37Z","timestamp":1745986777597,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642357367"},{"type":"electronic","value":"9783642357374"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-35737-4_10","type":"book-chapter","created":{"date-parts":[[2013,1,10]],"date-time":"2013-01-10T01:12:22Z","timestamp":1357780342000},"page":"165-176","source":"Crossref","is-referenced-by-count":0,"title":["Cross-Diagram UML Design Verification"],"prefix":"10.1007","author":[{"given":"Iryna","family":"Zaretska","sequence":"first","affiliation":[]},{"given":"Oleksandra","family":"Kulankhina","sequence":"additional","affiliation":[]},{"given":"Hlib","family":"Mykhailenko","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"10_CR1","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1002\/stvr.270","volume":"13","author":"A. Andrews","year":"2003","unstructured":"Andrews, A., France, R.B., Ghosh, S., Craig, G.: Test Adequacy Criteria for UML Design Models. Journal of Software Testing, Verification and Reliability\u00a013(2), 95\u2013127 (2003)","journal-title":"Journal of Software Testing, Verification and Reliability"},{"issue":"3","key":"10_CR2","first-page":"123","volume":"9","author":"G. Fischer","year":"1999","unstructured":"Fischer, G., et al.: The Role of Critiquing in Cooperative Problem Solving. ACM Transactions of Information Systems\u00a09(3), 123\u2013151 (1999)","journal-title":"ACM Transactions of Information Systems"},{"issue":"1","key":"10_CR3","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1007\/s10270-002-0004-8","volume":"1","author":"L. Briand","year":"2004","unstructured":"Briand, L., Labiche, Y.: A UML-based approach to system testing. Software and System Modeling\u00a01(1), 10\u201342 (2004)","journal-title":"Software and System Modeling"},{"key":"10_CR4","unstructured":"Souza, C.R.B., et al.: Using Critiquing Systems for Inconsistency Detection in Software Engineering Models. In: Proceedings of the Fifteenth International Conference on Software Engineering and Knowledge Engineering (SEKE 2003), San Francisco Bay, pp. 196\u2013203 (2003)"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Souza, C.R.B., et al.: A Group Critic System for Object-Oriented Analysis and Design. In: Proceedings of the 15th IEEE International Conference on Automated Software Engineering (ASE 2000), pp. 313\u2013316 (2000)","DOI":"10.1109\/ASE.2000.873686"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Ghosh, S., France, R.B., Braganza, C., Kawane, N., Andrews, A., Pilskalns, O.: Test Adequacy Assessment for UML Design Model Testing. In: Proceedings of the International Symposium on Software Reliability Engineering, pp. 332\u2013343. Denver, Co. (2003)","DOI":"10.1109\/ISSRE.2003.1251054"},{"issue":"2","key":"10_CR7","doi-asserted-by":"publisher","first-page":"101","DOI":"10.5381\/jot.2002.1.2.a1","volume":"1","author":"M. Mar Gallardo del","year":"2002","unstructured":"del Mar Gallardo, M., Merino, P., Pimentelis, E.: Debugging UML Designs with Model Checking. Journal of Object Technology\u00a01(2), 101\u2013117 (2002)","journal-title":"Journal of Object Technology"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-540-45221-8_23","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"M. Gogolla","year":"2003","unstructured":"Gogolla, M., Bohling, J., Richters, M.: Validation of UML and OCL Models by Automatic Snapshot Generation. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol.\u00a02863, pp. 265\u2013279. Springer, Heidelberg (2003)"},{"key":"10_CR9","unstructured":"Kawane, N.: Fault Detection Effectiveness of UML Design, Model Test Adequacy Criteria. In: Supplementary Proceedings of the International Symposium on Software Reliability Engineering, pp. 327\u2013328. Denver, Co. (2003)"},{"key":"10_CR10","unstructured":"Kawane, N.: EPTUD: An Eclipse plug-in for testing UML design models. Master\u2019s of science thesis, Colorado State University, Fort Collins, Colorado (2005)"},{"key":"10_CR11","unstructured":"Mellor, S., Balcer, M.: Executable UML: A Foundation for Model Driven Architecture. Addison Wesley Professional (2002)"},{"key":"10_CR12","unstructured":"Dinh-Trong, T., Kawane, N., Ghosh, S., France, R.B., Andrews, A.A.: A Tool-Supported Approach to Testing UML Design Models. In: Proceedings of 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2005), Shanghai, China (2005)"},{"key":"10_CR13","unstructured":"Object Management Group: UML 2.0 Superstructure Specification (2005), http:\/\/www.uml.org\/"},{"key":"10_CR14","unstructured":"Pender. T.: UML Bible. Wiley Published Inc. (2003)"}],"container-title":["Communications in Computer and Information Science","ICT in Education, Research, and Industrial Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35737-4_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T16:44:14Z","timestamp":1745945054000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35737-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642357367","9783642357374"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35737-4_10","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2013]]}}}