{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:55:08Z","timestamp":1725558908754},"publisher-location":"Berlin, Heidelberg","reference-count":8,"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_22","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T21:11:39Z","timestamp":1277845899000},"page":"249-264","source":"Crossref","is-referenced-by-count":10,"title":["Towards Automated Support for Deriving Test Data from UML Statecharts"],"prefix":"10.1007","author":[{"given":"Lionel C.","family":"Briand","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jim","family":"Cui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yvan","family":"Labiche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","volume-title":"Testing Object-Oriented Systems - Models, Patterns, and Tools, Object Technology","author":"R.V. Binder","year":"1999","unstructured":"Binder, R.V.: Testing Object-Oriented Systems - Models, Patterns, and Tools, Object Technology. Addison-Wesley, Reading (1999)"},{"key":"22_CR2","unstructured":"Briand, L.C., Cui, J., Labiche, Y.: Towards Automated Support for Deriving Test Data from UML Statecharts. Carleton University, Technical Report SCE-03-13 (2003), \n                    \n                      http:\/\/www.sce.carleton.ca\/Squall\/Articles\/TR_SCE-03-13.pdf"},{"key":"22_CR3","volume-title":"Logic in Computer Science, Modelling and Reasoning about Systems","author":"M.R.A. Huth","year":"2000","unstructured":"Huth, M.R.A., Ryan, M.D.: Logic in Computer Science, Modelling and Reasoning about Systems. Cambridge University Press, Cambridge (2000)"},{"key":"22_CR4","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice Hall, Englewood Cliffs (1997)","edition":"2"},{"key":"22_CR5","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":"A.J. Offutt","year":"1999","unstructured":"Offutt, A.J., Abdurazik, A.: Generating Tests from UML specifications. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol.\u00a01723, pp. 416\u2013429. Springer, Heidelberg (1999)"},{"key":"22_CR6","unstructured":"OMG, Unified Modeling Language (UML), Object Management Group V1.4 (2001), \n                    \n                      www.omg.org\/technology\/uml\/"},{"key":"22_CR7","volume-title":"The Unified Modeling Language Reference Manual","author":"J. Rumbaugh","year":"1999","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison Wesley, Reading (1999)"},{"key":"22_CR8","volume-title":"The Object Constraint Language","author":"J. Warmer","year":"1999","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language. Addison-Wesley, Reading (1999)"}],"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_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T06:14:32Z","timestamp":1552630472000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45221-8_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540202431","9783540452218"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45221-8_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}