{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,11]],"date-time":"2025-06-11T04:13:43Z","timestamp":1749615223683,"version":"3.41.0"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319468815"},{"type":"electronic","value":"9783319468822"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-46882-2_6","type":"book-chapter","created":{"date-parts":[[2016,9,23]],"date-time":"2016-09-23T15:00:03Z","timestamp":1474642803000},"page":"90-106","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["How Testable Are BDI Agents? An Analysis of Branch Coverage"],"prefix":"10.1007","author":[{"given":"Michael","family":"Winikoff","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,24]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.): Multi-Agent Programming: Languages, Platforms and Applications. Springer, Heidelberg (2005)","key":"6_CR1","DOI":"10.1007\/b137449"},{"doi-asserted-by":"crossref","unstructured":"Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.): Multi-Agent Programming: Languages, Tools and Applications. Springer, Heidelberg (2009)","key":"6_CR2","DOI":"10.1007\/978-0-387-89299-3"},{"doi-asserted-by":"crossref","unstructured":"Bordini, R.H., Fisher, M., Pardavila, C., Wooldridge, M.: Model checking AgentSpeak. In: Autonomous Agents and Multiagent Systems (AAMAS), pp. 409\u2013416 (2003)","key":"6_CR3","DOI":"10.1145\/860575.860641"},{"key":"6_CR4","volume-title":"Intentions, Plans, and Practical Reason","author":"ME Bratman","year":"1987","unstructured":"Bratman, M.E.: Intentions, Plans, and Practical Reason. Harvard University Press, Cambridge (1987)"},{"key":"6_CR5","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1111\/j.1467-8640.1988.tb00284.x","volume":"4","author":"ME Bratman","year":"1988","unstructured":"Bratman, M.E., Israel, D.J., Pollack, M.E.: Plans and resource-bounded practical reasoning. Comput. Intell. 4, 349\u2013355 (1988)","journal-title":"Comput. Intell."},{"volume-title":"Specification and Verification of Multi-agent systems","year":"2010","unstructured":"Dastani, M., Hindriks, K.V., Meyer, J.-J.C. (eds.): Specification and Verification of Multi-agent systems. Springer, Berlin\/Heidelberg (2010)","key":"6_CR6"},{"doi-asserted-by":"crossref","unstructured":"Dennis, L.A., Fisher, M., Lincoln, N.K., Lisitsa, A., Veres, S.M.: Practical verification of decision-making in agent-based autonomous systems. In: Automated Software Engineering, 55 pages (2014)","key":"6_CR7","DOI":"10.1007\/s10515-014-0168-9"},{"issue":"1","key":"6_CR8","first-page":"3","volume":"19","author":"LA Dennis","year":"2012","unstructured":"Dennis, L.A., Fisher, M., Webster, M.P., Bordini, R.H.: Model checking agent programming languages. Autom. Softw. Eng. J. 19(1), 3\u201363 (2012)","journal-title":"Autom. Softw. Eng. J."},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-642-01338-6_13","volume-title":"Agent-Oriented Software Engineering IX","author":"EE Ekinci","year":"2009","unstructured":"Ekinci, E.E., Tiryaki, A.M., \u00c7etin, \u00d6., Dikenelli, O.: Goal-oriented agent testing revisited. In: Luck, M., Gomez-Sanz, J.J. (eds.) AOSE 2008. LNCS, vol. 5386, pp. 173\u2013186. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-01338-6_13"},{"issue":"9","key":"6_CR10","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1145\/2500468.2494558","volume":"56","author":"M Fisher","year":"2013","unstructured":"Fisher, M., Dennis, L., Webster, M.: Verifying autonomous systems. Commun. ACM 56(9), 84\u201393 (2013)","journal-title":"Commun. ACM"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/978-3-642-01338-6_15","volume-title":"Agent-Oriented Software Engineering IX","author":"JJ G\u00f3mez-Sanz","year":"2009","unstructured":"G\u00f3mez-Sanz, J.J., Bot\u00eda, J., Serrano, E., Pav\u00f3n, J.: Testing and debugging of MAS interactions with INGENIAS. In: Luck, M., Gomez-Sanz, J.J. (eds.) AOSE 2008. LNCS, vol. 5386, pp. 199\u2013212. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-01338-6_15"},{"key":"6_CR12","doi-asserted-by":"publisher","DOI":"10.1201\/b16592","volume-title":"Software Testing: A Craftsman\u2019s Approach","author":"P Jorgensen","year":"2002","unstructured":"Jorgensen, P.: Software Testing: A Craftsman\u2019s Approach, 2nd edn. CRC Press, Boca Raton (2002)","edition":"2"},{"unstructured":"Mathur, A.P.: Foundations of Software Testing. Pearson (2008). ISBN 978-81-317-1660-1","key":"6_CR13"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/978-3-642-01338-6_14","volume-title":"Agent-Oriented Software Engineering IX","author":"CD Nguyen","year":"2009","unstructured":"Nguyen, C.D., Perini, A., Tonella, P.: Experimental evaluation of ontology-based test generation for multi-agent systems. In: Luck, M., Gomez-Sanz, J.J. (eds.) AOSE 2008. LNCS, vol. 5386, pp. 187\u2013198. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-01338-6_14"},{"key":"6_CR15","doi-asserted-by":"publisher","first-page":"1230","DOI":"10.1109\/TSE.2013.10","volume":"39","author":"L Padgham","year":"2013","unstructured":"Padgham, L., Zhang, Z., Thangarajah, J., Miller, T.: Model-based test oracle generation for automated unit testing of agent systems. IEEE Trans. Softw. Eng. 39, 1230\u20131244 (2013)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"2","key":"6_CR16","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/j.jal.2005.12.010","volume":"5","author":"F Raimondi","year":"2007","unstructured":"Raimondi, F., Lomuscio, A.: Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams. J. Appl. Logic 5(2), 235\u2013251 (2007)","journal-title":"J. Appl. Logic"},{"key":"6_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/BFb0031845","volume-title":"Agents Breaking Away","author":"AS Rao","year":"1996","unstructured":"Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Velde, W., Perram, J.W. (eds.) MAAMAW 1996. LNCS, vol. 1038, pp. 42\u201355. Springer, Heidelberg (1996). doi: 10.1007\/BFb0031845"},{"unstructured":"Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. In: Allen, J., Fikes, R., Sandewall, E. (eds.) Principles of Knowledge Representation and Reasoning, Proceedings of the Second International Conference, pp. 473\u2013484. Morgan Kaufmann (1991)","key":"6_CR18"},{"key":"6_CR19","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1613\/jair.2221","volume":"29","author":"R Vieira","year":"2007","unstructured":"Vieira, R., Moreira, \u00c1., Wooldridge, M., Bordini, R.H.: On the formal semantics of speech-act based communication in an agent-oriented programming language. J. Artif. Intell. Res. (JAIR) 29, 221\u2013267 (2007)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"6_CR20","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1613\/jair.4458","volume":"51","author":"M Winikoff","year":"2014","unstructured":"Winikoff, M., Cranefield, S.: On the testability of BDI agent systems. J. Artif. Intell. Res. (JAIR) 51, 71\u2013131 (2014)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"unstructured":"Winikoff, M., Cranefield, S.: On the testability of BDI agent systems (extended abstract). In: Journal Track of the International Joint Conference on Artificial Intelligence (IJCAI), pp. 4217\u20134221 (2015)","key":"6_CR21"},{"unstructured":"Winikoff, M., Padgham, L., Harland, J., Thangarajah, J.: Declarative & procedural goals in intelligent agent systems. In: Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR), pp. 470\u2013481. Morgan Kaufmann, Toulouse (2002)","key":"6_CR22"},{"doi-asserted-by":"crossref","unstructured":"Wooldridge, M., Fisher, M., Huget, M.-P., Parsons, S.: Model checking multi-agent systems with MABLE. In: Autonomous Agents and Multi-Agent Systems (AAMAS), pp. 952\u2013959 (2002)","key":"6_CR23","DOI":"10.1145\/544862.544965"},{"doi-asserted-by":"crossref","unstructured":"Zhang, Z., Thangarajah, J., Padgham, L.: Automated unit testing for agent systems. In: Second International Working Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), pp. 10\u201318 (2007)","key":"6_CR24","DOI":"10.5220\/0002585900100018"},{"issue":"4","key":"6_CR25","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1145\/267580.267590","volume":"29","author":"H Zhu","year":"1997","unstructured":"Zhu, H., Hall, P.A.V., May, J.H.R.: Software unit test coverage and adequacy. ACM Comput. Surv. 29(4), 366\u2013427 (1997)","journal-title":"ACM Comput. Surv."}],"container-title":["Lecture Notes in Computer Science","Autonomous Agents and Multiagent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-46882-2_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,10]],"date-time":"2025-06-10T21:02:08Z","timestamp":1749589328000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-46882-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319468815","9783319468822"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-46882-2_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"24 September 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"AAMAS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Autonomous Agents and Multiagent Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Singapore","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Singapore","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 May 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 May 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"atal2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}