{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T13:10:25Z","timestamp":1740316225355,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540212195"},{"type":"electronic","value":"9783540247043"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"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":[[2004]]},"DOI":"10.1007\/978-3-540-24704-3_9","type":"book-chapter","created":{"date-parts":[[2010,7,28]],"date-time":"2010-07-28T00:13:44Z","timestamp":1280276024000},"page":"128-143","source":"Crossref","is-referenced-by-count":8,"title":["Generation of Optimized Testsuites for UML Statecharts with Time"],"prefix":"10.1007","author":[{"given":"Tilo","family":"M\u00fccke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michaela","family":"Huhn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming\u00a08, 231\u2013274 (1987)","journal-title":"Science of Computer Programming"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Bochmann, G., Petrenko, A.: Protocol testing: Review of methods and relevance for software testing. In: Proc. International Symposium on Software Testing and Analysis, pp. 109\u2013124 (1994)","DOI":"10.1145\/186258.187153"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Kerbra, A., J\u00e9ron, T., Groz, R.: Automated test generation from SDL specifications. In: SDL Forum, pp. 135\u2013152 (1999)","DOI":"10.1016\/B978-044450228-5\/50011-4"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Rapps, S., Weyuker, E.: Selecting software test data using data flow information. In: IEEE TSE, vol.\u00a011, pp. 367\u2013375 (1985)","DOI":"10.1109\/TSE.1985.232226"},{"key":"9_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":"J. Offutt","year":"1999","unstructured":"Offutt, 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":"9_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3540-6","volume-title":"Software Reliability Methods","author":"D. Peled","year":"2001","unstructured":"Peled, D.: 9. Software Testing. In: Software Reliability Methods, Springer, Heidelberg (2001)"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Friedman, G., Hartman, A., Nagin, K., Shiran, T.: Projected state machine coverage for software testing. In: ACM SIGSOFT European Software Engineering Conference and International Symposium on Foundations of Software Engineering, pp. 134\u2013143 (2002)","DOI":"10.1145\/566172.566192"},{"key":"9_CR8","unstructured":"Pretschner, A., L\u00f6tzebeyer, H.: Model based testing with constraint logic programming. In: Workshop on Automated Program Analysis, Testing and Verification (WAPATV), pp. 1\u20139 (2001)"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-540-24617-6_9","volume-title":"Formal Approaches to Software Testing","author":"A. Hessel","year":"2004","unstructured":"Hessel, A., Larsen, K., Nielsen, B., Pettersson, P., Skou, A.: Time-optimal realtime test case generation using UPPAAL. In: Petrenko, A., Ulrich, A. (eds.) FATES 2003. LNCS, vol.\u00a02931, pp. 114\u2013130. Springer, Heidelberg (2004)"},{"key":"9_CR10","unstructured":"Hong, H., Lee, I., Sokolsky, O., Cha, S.: Automatic test generation from statecharts using model checking. In: Workshop on Formal Approaches to Testing of Software (FATES), pp. 15\u201330 (2001)"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Rayadurgan, S., Heimdahl, M.: Coverage based test-case generation using model checkers. In: Intl. Conf. and Workshop on the Engineering of Computer Based Systems, pp. 83\u201393 (2001)","DOI":"10.1109\/ECBS.2001.922409"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Nielsen, B., Skou, A.: Automated test generation from timed automata. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 343\u2013357 (2001)","DOI":"10.1007\/3-540-45319-9_24"},{"key":"9_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/3-540-48683-6_12","volume-title":"Computer Aided Verification","author":"T. J\u00e9ron","year":"1999","unstructured":"J\u00e9ron, T., Morel, P.: Test generation derived from model-checking. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol.\u00a01633, pp. 108\u2013121. Springer, Heidelberg (1999)"},{"key":"9_CR14","unstructured":"Pretschner, A.: Classical search strategies for test case generation with constraint logic programming. In: Workshop on Formal Approaches to Testing of Software (FATES), pp. 47\u201360 (2001)"},{"key":"9_CR15","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"K.G. Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a nutshell. International Journal on Software Tools for Technology Transfer\u00a01, 134\u2013152 (1997)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Hong, H., Lee, I., Sokolsky, O., Ural, H.: A temporal logic based theory of test coverage and generation. In: Tools and Algorithms for the Construction and Analysis of Systems (2002)","DOI":"10.1007\/3-540-46002-0_23"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Goga, N.: Comparing TorX, autolink, TGV and UIO test algorithms. LNCS (2001)","DOI":"10.1007\/3-540-48213-X_24"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Gragantini, A., Heitmeyer, C.: Using model checking to generate tests from requirements specification. In: ACM SIGSOFT European Software Engineering Conference and International Symposium on Foundations of Software Engineering, pp. 146\u2013162 (1999)","DOI":"10.1007\/3-540-48166-4_10"},{"key":"9_CR19","unstructured":"Diethers, K., Goltz, U., Huhn, M.: Model checking UML statecharts with time. In: UML 2002, Workshop on Critical Systems Development with UML (2002)"},{"key":"9_CR20","unstructured":"Diethers, K., Kohn, N., Finkemeyer, B.: Middleware zur Realisierung offener Steuerungssoftware f\u00fcr hochdynamische Prozesse. it - Information Technology (2003)"},{"key":"9_CR21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-09438-9","volume-title":"Principles of Artificial Intelligence","author":"N. Nilsson","year":"1982","unstructured":"Nilsson, N.: Principles of Artificial Intelligence. Springer, Heidelberg (1982)"}],"container-title":["Lecture Notes in Computer Science","Testing of Communicating Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24704-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T12:28:31Z","timestamp":1740313711000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24704-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540212195","9783540247043"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24704-3_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}