{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:32:16Z","timestamp":1729665136891,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/wsc.2003.1261498","type":"proceedings-article","created":{"date-parts":[[2004,5,6]],"date-time":"2004-05-06T20:18:03Z","timestamp":1083874683000},"page":"799-807","source":"Crossref","is-referenced-by-count":6,"title":["Simulation for testing software agents - an exploration based on James"],"prefix":"10.1109","author":[{"given":"J.","family":"Himmelspach","sequence":"first","affiliation":[]},{"given":"M.","family":"Rohl","sequence":"additional","affiliation":[]},{"given":"A.M.","family":"Uhrmacher","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"275","article-title":"A roadmap of agent resarch and development","volume":"1","author":"jennings","year":"1998","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"ref11","article-title":"Robocup-rescue: Search and rescue for large scale disasters as a domain for multi-agent research","author":"kitano","year":"1999","journal-title":"In Proc of the IEEE Conference on Systems Men and Cybernetics"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TINA.1999.789970"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/PADS.2000.847141"},{"article-title":"The Art of Software Testing","year":"1979","author":"myers","key":"ref14"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1007\/3-540-36540-0_2","article-title":"Agent UML: A formalism for specifying multiagent software systems","volume":"2585","author":"odell","year":"2003","journal-title":"Lecture Notes in Computer Science"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35358-6_25"},{"key":"ref17","article-title":"Planning in dynamic environments: The DIPART system","author":"pollack","year":"1996","journal-title":"Advanced Planning Technology"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/S0921-8890(03)00077-0"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45448-9_8"},{"journal-title":"RTDEVS\/CORBA A Distributed Object Computing Environment for Simulation-Based Design of Real-Time Discreet Event Systems","year":"2001","author":"cho","key":"ref4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/280765.280867"},{"article-title":"Black-Box Testing","year":"1995","author":"beizer","key":"ref3"},{"key":"ref6","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-44564-1","article-title":"Agent-Oriented Software Engineering","volume":"1957","author":"ciancarini","year":"2001","journal-title":"Lecture Notes in Computer Science"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2001.971989"},{"article-title":"Parallel and Distributed Simulation Systems","year":"2000","author":"fujimoto","key":"ref8"},{"key":"ref7","article-title":"Comparing agent-oriented methodologies","author":"dam","year":"2003","journal-title":"In Proceedings of the Fifth International Bi-Conference Workshop on Agent-Oriented Information Systems"},{"key":"ref2","first-page":"133","article-title":"Mole-Concepts of a mobile agent system","volume":"1","author":"baumann","year":"1997","journal-title":"Special Issue on Applications and Techniques of Web Agents"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/336512.336532"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/122759.122777"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/5.910852"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3554-3_15"},{"article-title":"The Testability of Distributed Real-Time Systems","year":"1993","author":"sch\u00fctz","key":"ref21"},{"key":"ref24","first-page":"257","article-title":"A Conservative, Distributed Approach to Simulating Multi-Agent Systems","author":"uhrmacher","year":"2001","journal-title":"Proc Eur Simulation Multi-Conf"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/PADS.2000.847150"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/545056.545074"},{"key":"ref25","first-page":"133","article-title":"Towards a logic of rational agency","volume":"11","author":"van der hoek","year":"2003","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"}],"event":{"name":"2003 Winter Simulation Conference","acronym":"WSC-03","location":"New Orleans, LA, USA"},"container-title":["Proceedings of the 2003 International Conference on Machine Learning and Cybernetics (IEEE Cat. No.03EX693)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8912\/28195\/01261498.pdf?arnumber=1261498","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T06:52:30Z","timestamp":1497595950000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1261498\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/wsc.2003.1261498","relation":{},"subject":[]}}