{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:55:45Z","timestamp":1725558945551},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540202431"},{"type":"electronic","value":"9783540452218"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45221-8_21","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T17:11:39Z","timestamp":1277831499000},"page":"234-248","source":"Crossref","is-referenced-by-count":10,"title":["Rigorous Testing by Merging Structural and Behavioral UML Representations"],"prefix":"10.1007","author":[{"given":"Orest","family":"Pilskalns","sequence":"first","affiliation":[]},{"given":"Anneliese","family":"Andrews","sequence":"additional","affiliation":[]},{"given":"Sudipto","family":"Ghosh","sequence":"additional","affiliation":[]},{"given":"Robert","family":"France","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"Abdurazik, A., Offutt, J.: Using UML Collaboration Diagrams for Static Checking and Test Generation. In: 3rd International Conference on the UML, October 2000, pp. 383\u2013395 (2000)","DOI":"10.1007\/3-540-40011-7_28"},{"issue":"2","key":"21_CR2","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. Journal of Software Testing, Verification, and Reliability\u00a013(2), 95\u2013127 (2003)","journal-title":"Journal of Software Testing, Verification, and Reliability"},{"key":"21_CR3","series-title":"Object Technology Series","volume-title":"Testing Object-Oriented Systems Models, Patterns, and Tools","author":"R. Binder","year":"1999","unstructured":"Binder, R.: Testing Object-Oriented Systems Models, Patterns, and Tools. Object Technology Series. Addison Wesley, Reading (1999)"},{"key":"21_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/3-540-45441-1_15","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"L. Briand","year":"2001","unstructured":"Briand, L., Labiche, Y.: A UML-based Approach to System Testing. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, pp. 194\u2013208. Springer, Heidelberg (2001)"},{"key":"21_CR5","volume-title":"UML Distilled","author":"M. Fowler","year":"2000","unstructured":"Fowler, M., Scott, K.: UML Distilled, 2nd edn. Addison-Wesley, Reading (2000)","edition":"2"},{"key":"21_CR6","volume-title":"Applying UML and Patterns","author":"C. Larman","year":"2002","unstructured":"Larman, C.: Applying UML and Patterns. Prentice Hall, Englewood Cliffs (2002)"},{"key":"21_CR7","unstructured":"Object Management Group, UML 2.0 Draft Specification (2003), \n                    \n                      http:\/\/www.omg.org\/uml"},{"key":"21_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"416","DOI":"10.1007\/3-540-46852-8_30","volume-title":"\u00abUML\u00bb \u201999 - The Unified Modeling Language. Beyond the Standard","author":"J. Offutt","year":"1999","unstructured":"Offutt, J., Abdurazik, A.: Generating Test from UML Specifications. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol.\u00a01723, pp. 416\u2013429. Springer, Heidelberg (1999)"},{"key":"21_CR9","unstructured":"Schafer, T., Knapp, A., Merz, S.: Model Checking UML State Machines and Collaborations. Electronic Notes in Theoretical Computer Science, vol.\u00a047, pp. 1\u201313 (2001)"},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"Scheetz, M., von Mayrhauser, A., France, R., Dahlman, E., Howe, A.E.: Generating Test Cases from an OO Model with an AI Planning System. In: ISSRE 1999, pp. 250\u2013259 (1999)","DOI":"10.1109\/ISSRE.1999.809330"}],"container-title":["Lecture Notes in Computer Science","\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45221-8_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T02:33:09Z","timestamp":1552617189000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45221-8_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540202431","9783540452218"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45221-8_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}