{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T23:06:35Z","timestamp":1743116795859,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540231691"},{"type":"electronic","value":"9783540302339"}],"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-30233-9_23","type":"book-chapter","created":{"date-parts":[[2010,10,24]],"date-time":"2010-10-24T12:06:08Z","timestamp":1287921968000},"page":"308-321","source":"Crossref","is-referenced-by-count":5,"title":["Modeling and Testing Agent Systems Based on Statecharts"],"prefix":"10.1007","author":[{"given":"Heui-Seok","family":"Seo","sequence":"first","affiliation":[]},{"given":"Tadashi","family":"Araragi","sequence":"additional","affiliation":[]},{"given":"Yong Rae","family":"Kwon","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"6","key":"23_CR1","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1109\/32.689403","volume":"24","author":"R.H. Carver","year":"1998","unstructured":"Carver, R.H., Tai, K.C.: Use of Sequencing Constraints for Specification-based Testing of Concurrent Programs. IEEE Transaction on Software Engineering\u00a024(6), 471\u2013490 (1998)","journal-title":"IEEE Transaction on Software Engineering"},{"key":"23_CR2","unstructured":"Tai, K.C., Karacali, B.: On Godefroid\u2019s State-less Search Technique for Testing Concurrent Programs. In: Proceedings of the 5th International Symposium on Autonomous Decentralized Systems, pp. 77\u201384 (2001)"},{"key":"23_CR3","unstructured":"FIPA Interaction Protocol Library Specification (2001), \n                    \n                      http:\/\/www.fipa.org\/specs\/fipa00025\/XC00025E.html"},{"key":"23_CR4","unstructured":"Odell, J., Parunak, H.V.D., Bauer, B.: Extending UML for Agents. In: Proceedings of the Agent-Oriented Information Systems Workshop at 17th National Conference in Artificial Intelligence, pp. 3\u201317 (2000)"},{"key":"23_CR5","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 System. Science of Computer Programming\u00a08, 231\u2013274 (1987)","journal-title":"Science of Computer Programming"},{"issue":"4","key":"23_CR6","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/235321.235322","volume":"5","author":"D. Harel","year":"1996","unstructured":"Harel, D., Naamad, A.: The STATEMATE Semantics of Statecharts. ACM Transaction on Software Engineering and Methodology\u00a05(4), 293\u2013333 (1996)","journal-title":"ACM Transaction on Software Engineering and Methodology"},{"key":"23_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1007\/3-540-45441-1_31","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"J. Mylopoulos","year":"2001","unstructured":"Mylopoulos, J., Kolp, M., Castro, J.: UML for Agent-Oriented Software Development: The Tropos Proposal. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, p. 422. Springer, Heidelberg (2001)"},{"key":"23_CR8","unstructured":"Gomez Sanz, J., Fuentes, R.: Agent Oriented Software Engineering with INGENIAS. In: Proceedings of the 4th Iberoamerican Workshop on Multi-Agent Systems (Iberagent 2002) (2002)"},{"issue":"3","key":"23_CR9","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1023\/A:1010071910869","volume":"3","author":"M. Wooldridge","year":"2000","unstructured":"Wooldridge, M., Jennings, N.R., Kinny, D.: The Gaia Methodology for Agent- Oriented Analysis and Design. Journal of Autonomous Agents and Multi-Agent Systems\u00a03(3), 285\u2013312 (2000)","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"},{"issue":"4","key":"23_CR10","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1002\/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2","volume":"10","author":"H.S. Hong","year":"2000","unstructured":"Hong, H.S., Kim, Y.G., Cha, S.D., Bae, D.H., Ural, H.: A Test Sequence Selection Method for Statecharts. Software Testing, verification and Reliability\u00a010(4), 203\u2013227 (2000)","journal-title":"Software Testing, verification and Reliability"},{"key":"23_CR11","unstructured":"Tsai, B.Y., Stobart, S., Parrington, N., Mitchell, I.: An Automatic Test Case Generator Derived from State-based Testing. In: Proceedings of Asia-Pacific Software Engineering Conference (APSEC 1998), pp. 270\u2013277 (1998)"},{"key":"23_CR12","unstructured":"Seo, H.-S., Chung, I.S., Kim, B.M., Kwon, Y.R.: A Design Implementation of Automata-based Testing Environment for Java Multi-thread Programs. In: Proceedings of Asia-Pacific Software Engineering Conference (APSEC 2001), pp. 221\u2013228 (2001)"},{"key":"23_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60761-7","volume-title":"Partial-Order Methods for the Verification of Concurrent Systems","author":"P. Godefroid","year":"1996","unstructured":"Godefroid, P.: Partial-Order Methods for the Verification of Concurrent Systems - An Approach to the State-Explosion Problem. In: Godefroid, P. (ed.) Partial-Order Methods for the Verification of Concurrent Systems. LNCS, vol.\u00a01032, Springer, Heidelberg (1996)"}],"container-title":["Lecture Notes in Computer Science","Applying Formal Methods: Testing, Performance, and M\/E-Commerce"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30233-9_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T19:07:59Z","timestamp":1558292879000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30233-9_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540231691","9783540302339"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30233-9_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}