{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T07:20:02Z","timestamp":1758266402417,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642013379"},{"type":"electronic","value":"9783642013386"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-01338-6_15","type":"book-chapter","created":{"date-parts":[[2009,3,23]],"date-time":"2009-03-23T02:25:59Z","timestamp":1237775159000},"page":"199-212","source":"Crossref","is-referenced-by-count":16,"title":["Testing and Debugging of MAS Interactions with INGENIAS"],"prefix":"10.1007","author":[{"given":"Jorge J.","family":"G\u00f3mez-Sanz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan","family":"Bot\u00eda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emilio","family":"Serrano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan","family":"Pav\u00f3n","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1145\/967900.967918","volume-title":"SAC 2004: Proceedings of the ACM symposium on Applied computing","author":"M. Alberti","year":"2004","unstructured":"Alberti, M., Daolio, D., Torroni, P., Gavanelli, M., Lamma, E., Mello, P.: Specification and verification of agent interaction protocols in a logic-based system. In: SAC 2004: Proceedings of the ACM symposium on Applied computing, pp. 72\u201378. ACM, New York (2004)"},{"key":"15_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Programming Multi-Agent Systems","year":"2007","unstructured":"Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.): PROMAS 2006. LNCS, vol.\u00a04411. Springer, Heidelberg (2007)"},{"issue":"1","key":"15_CR3","first-page":"33","volume":"30","author":"R.H. Bordini","year":"2006","unstructured":"Bordini, R.H., Braubach, L., Dastani, M., El Fallah Seghrouchni, A., Leite, J., G\u00f3mez-Sanz, J.J., O\u2019Hare, G., Pokahr, A., Ricci, A.: A survey of programming languages and platforms for multi-agent systems. Informatica Journal\u00a030(1), 33\u201344 (2006)","journal-title":"Informatica Journal"},{"key":"15_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/978-3-540-30082-3_22","volume-title":"Multiagent System Technologies","author":"J.A. Bot\u00eda","year":"2004","unstructured":"Bot\u00eda, J.A., Hernansaez, J.M., G\u00f3mez-Skarmeta, A.F.: Towards an approach for debugging mas through the analysis of acl messages. In: Lindemann, G., Denzinger, J., Timm, I.J., Unland, R. (eds.) MATES 2004. LNCS, vol.\u00a03187, pp. 301\u2013312. Springer, Heidelberg (2004)"},{"key":"15_CR5","unstructured":"Caire, G., Cossentino, M., Negri, A., Poggi, A., Turci, P.: Multi-agent systems implementation and testing. In: From Agent Theory to Agent Implementation Fourth International Symposium (AT2AI-4), Vienna, Austria (2004)"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Castelfranchi, C.: Simulating with cognitive agents: The importance of cognitive emergence. In: Sichman, et al. (eds.) [24], pp. 26\u201344","DOI":"10.1007\/10692956_3"},{"key":"15_CR7","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1145\/1138063.1138079","volume-title":"SELMAS 2006: Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems","author":"R. Coelho","year":"2006","unstructured":"Coelho, R., Kulesza, U., von Staa, A., Lucena, C.: Unit testing in multi-agent systems using mock agents and aspects. In: SELMAS 2006: Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems, pp. 83\u201390. ACM, New York (2006)"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Collier, R.W.: Debugging agents in agent factory. In: Bordini, et al. (eds.) [2], pp. 229\u2013248","DOI":"10.1007\/978-3-540-71956-4_14"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Conte, R., Gilbert, N., Sichman, J.S.: Mas and social simulation: A suitable sommitment. In: Sichman, et al. (eds.) [24], pp. 1\u20139.","DOI":"10.1007\/10692956_1"},{"key":"15_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/3-540-36483-8_7","volume-title":"Multi-Agent-Based Simulation II","author":"N. David","year":"2003","unstructured":"David, N., Sichman, J.S., Coelho, H.: Towards an emergence-driven software process for agent-based simulation. In: Sichman, J.S., Bousquet, F., Davidsson, P. (eds.) MABS 2002. LNCS, vol.\u00a02581, pp. 89\u2013104. Springer, Heidelberg (2003)"},{"key":"15_CR11","first-page":"495","volume-title":"IAT","author":"H. Fadil","year":"2005","unstructured":"Fadil, H., Koning, J.-L.: Rules for translating interaction protocols into a b formal representation. In: Skowron, A., Barth\u00e8s, J.-P.A., Jain, L.C., Sun, R., Morizet-Mahoudeaux, P., Liu, J., Zhong, N. (eds.) IAT, pp. 495\u2013498. IEEE Computer Society, Los Alamitos (2005)"},{"key":"15_CR12","unstructured":"El Fallah-Seghrouchni, A., Haddad, S., Mazouzi, H.: A formal study of interactions in multi-agent systems. I. J. Comput. Appl.\u00a08(1) (2001)"},{"key":"15_CR13","volume-title":"Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence","author":"J. Ferber","year":"1999","unstructured":"Ferber, J.: Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence. Addison-Wesley Longman Publishing Co., Inc., Boston (1999)"},{"key":"15_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/978-3-540-75524-1_7","volume-title":"Engineering Societies in the Agents World VII","author":"R. Fuentes-Fern\u00e1ndez","year":"2007","unstructured":"Fuentes-Fern\u00e1ndez, R., G\u00f3mez-Sanz, J.J., Pav\u00f3n, J.: Model driven development of multi-agent systems with repositories of social patterns. In: O\u2019Hare, G.M.P., Ricci, A., O\u2019Grady, M.J., Dikenelli, O. (eds.) ESAW 2006. LNCS, vol.\u00a04457, pp. 126\u2013142. Springer, Heidelberg (2007)"},{"issue":"4","key":"15_CR15","first-page":"359","volume":"10","author":"J.J. G\u00f3mez-Sanz","year":"2004","unstructured":"G\u00f3mez-Sanz, J.J., Pav\u00f3n, J.: Methodologies for developing multi-agent systems. Journal of Universal Computer Science\u00a010(4), 359\u2013374 (2004)","journal-title":"Journal of Universal Computer Science"},{"key":"15_CR16","doi-asserted-by":"publisher","first-page":"586","DOI":"10.1145\/1082473.1082562","volume-title":"AAMAS 2005: Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems","author":"D.N. Lam","year":"2005","unstructured":"Lam, D.N., Barber, K.S.: Comprehending agent software. In: AAMAS 2005: Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, pp. 586\u2013593. ACM, New York (2005)"},{"key":"15_CR17","volume-title":"The Art of Software Testing","author":"G.J. Myers","year":"2004","unstructured":"Myers, G.J., Sandler, C., Badgett, T., Thomas, T.M.: The Art of Software Testing, 2nd edn. Wiley, Chichester (2004)","edition":"2"},{"key":"15_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/978-3-540-79488-2_5","volume-title":"Agent-Oriented Software Engineering VIII","author":"C.D. Nguyen","year":"2008","unstructured":"Nguyen, C.D., Perini, A., Tonella, P.: A goal-oriented software testing methodology. In: Luck, M., Padgham, L. (eds.) Agent-Oriented Software Engineering VIII. LNCS, vol.\u00a04951, pp. 58\u201372. Springer, Heidelberg (2008)"},{"key":"15_CR19","unstructured":"Nguyen, D.C., Perini, A., Tonella, P.: ecat: a tool for automating test cases generation and execution in testing multi-agent systems. In: AAMAS (Demos), IFAAMAS, pp. 1669\u20131670. (2008)"},{"key":"15_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-540-25936-7_8","volume-title":"Programming Multi-Agent Systems","author":"S. Paurobally","year":"2004","unstructured":"Paurobally, S., Cunningham, J., Jennings, N.R.: Developing agent interaction protocols using graphical and logical methodologies. In: Dastani, M., Dix, J., El Fallah-Seghrouchni, A. (eds.) PROMAS 2003. LNCS, vol.\u00a03067, pp. 149\u2013168. Springer, Heidelberg (2004)"},{"key":"15_CR21","doi-asserted-by":"publisher","first-page":"960","DOI":"10.1145\/544862.544966","volume-title":"AAMAS","author":"D. Poutakidis","year":"2002","unstructured":"Poutakidis, D., Padgham, L., Winikoff, M.: Debugging multi-agent systems using design artifacts: the case of interaction protocols. In: AAMAS, pp. 960\u2013967. ACM, New York (2002)"},{"key":"15_CR22","doi-asserted-by":"publisher","first-page":"1100","DOI":"10.1145\/860575.860815","volume-title":"AAMAS 2003: Proceedings of the second international joint conference on Autonomous agents and multiagent systems","author":"D. Poutakidis","year":"2003","unstructured":"Poutakidis, D., Padgham, L., Winikoff, M.: An exploration of bugs and debugging in multi-agent systems. In: AAMAS 2003: Proceedings of the second international joint conference on Autonomous agents and multiagent systems, pp. 1100\u20131101. ACM, New York (2003)"},{"key":"15_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/11961536_14","volume-title":"Declarative Agent Languages and Technologies IV","author":"J.G. Quenum","year":"2006","unstructured":"Quenum, J.G., Aknine, S., Briot, J.-P., Honiden, S.: A modeling framework for generic agent interaction protocols. In: Baldoni, M., Endriss, U. (eds.) DALT 2006. LNCS, vol.\u00a04327, pp. 207\u2013224. Springer, Heidelberg (2006)"},{"key":"15_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/10692956_1","volume-title":"Multi-Agent Systems and Agent-Based Simulation","year":"1998","unstructured":"Sichman, J.S., Conte, R., Gilbert, N. (eds.): MABS 1998. LNCS, vol.\u00a01534, pp. 1\u20139. Springer, Heidelberg (1998)"},{"key":"15_CR25","doi-asserted-by":"crossref","unstructured":"Sudeikat, J., Braubach, L., Pokahr, A., Lamersdorf, W., Renz, W.: Validation of bdi agents. In: Bordini, et al. (eds.) [2], pp. 185\u2013200","DOI":"10.1007\/978-3-540-71956-4_11"},{"issue":"4","key":"15_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1082983.1083076","volume":"30","author":"D. Weyns","year":"2005","unstructured":"Weyns, D., Schelfthout, K., Holvoet, T.: Architectural design of a distributed application with autonomic quality requirements. SIGSOFT Softw. Eng. Notes\u00a030(4), 1\u20137 (2005)","journal-title":"SIGSOFT Softw. Eng. Notes"}],"container-title":["Lecture Notes in Computer Science","Agent-Oriented Software Engineering IX"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01338-6_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,18]],"date-time":"2019-05-18T20:59:35Z","timestamp":1558213175000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01338-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642013379","9783642013386"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01338-6_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}