{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T17:06:45Z","timestamp":1743095205109,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"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_14","type":"book-chapter","created":{"date-parts":[[2009,3,23]],"date-time":"2009-03-23T06:25:59Z","timestamp":1237789559000},"page":"187-198","source":"Crossref","is-referenced-by-count":12,"title":["Experimental Evaluation of Ontology-Based Test Generation for Multi-agent Systems"],"prefix":"10.1007","author":[{"given":"Cu D.","family":"Nguyen","sequence":"first","affiliation":[]},{"given":"Anna","family":"Perini","sequence":"additional","affiliation":[]},{"given":"Paolo","family":"Tonella","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/b116049","volume-title":"Methodologies and Software Engineering for Agent Systems : The Agent-Oriented Software Engineering Handbook","author":"F. Bergenti","year":"2004","unstructured":"Bergenti, F., Gleizes, M.-P., Zambonelli, F.: Methodologies and Software Engineering for Agent Systems: The Agent-Oriented Software Engineering Handbook. Springer, Heidelberg (2004)"},{"issue":"2","key":"14_CR2","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/s10458-006-5955-7","volume":"12","author":"R.H. Bordini","year":"2006","unstructured":"Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Verifying multi-agent programs by model checking. Autonomous Agents and Multi-Agent Systems\u00a012(2), 239\u2013256 (2006)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1207","DOI":"10.1007\/11875581_143","volume-title":"Intelligent Data Engineering and Automated Learning \u2013 IDEAL 2006","author":"J.A. Bot\u00eda","year":"2006","unstructured":"Bot\u00eda, J.A., G\u00f3mez-Sanz, J.J., Pav\u00f3n, J.: Intelligent data analysis for the verification of multi-agent systems interactions. In: Corchado, E., Yin, H., Botti, V., Fyfe, C. (eds.) IDEAL 2006. LNCS, vol.\u00a04224, pp. 1207\u20131214. Springer, Heidelberg (2006)"},{"key":"14_CR4","unstructured":"Bot\u00eda, J.A., L\u00f3pez-Acosta, A., G\u00f3mez-Skarmeta, A.F.: ACLAnalyser: A tool for debugging multi-agent systems. In: ECAI, pp. 967\u2013968 (2004)"},{"key":"14_CR5","volume-title":"Intentions, Plans and Practical Reason","author":"M.E. Bratman","year":"1987","unstructured":"Bratman, M.E.: Intentions, Plans and Practical Reason. Harvard University Press, Cambridge (1987)"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Coelho, R., Cirilo, E., Kulesza, U., von Staa, A., Rashid, A., Lucena, C.: Jat: A test automation framework for multi-agent systems. In: 23rd IEEE International Conference on Software Maintenance (2007)","DOI":"10.1109\/ICSM.2007.4362655"},{"key":"14_CR7","doi-asserted-by":"publisher","first-page":"1271","DOI":"10.1145\/1082473.1082728","volume-title":"AAMAS 2005: Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems","author":"O. Dikenelli","year":"2005","unstructured":"Dikenelli, O., Erdur, R.C., Gumus, O.: Seagent: a platform for developing semantic web based multi agent systems. In: AAMAS 2005: Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, pp. 1271\u20131272. ACM Press, New York (2005)"},{"key":"14_CR8","unstructured":"Euzenat, J., Bach, T.L., Barrasa, J., Bouquet, P., Bo, J.D., Dieng, R., Ehrig, M., Hauswirth, M., Jarrar, M., Lara, R., Maynard, D., Napoli, A., Stamou, G., Stuckenschmidt, H., Shvaiko, P., Tessaris, S., Acker, S.V., Zaihrayeu, I.: State of the art on ontology alignment. Knowledge Web Deliverable 2.2.3 (August 2004)"},{"key":"14_CR9","unstructured":"FIPA. Interaction protocols specifications (2000-2002), http:\/\/www.fipa.org\/repository\/ips.php3"},{"issue":"1","key":"14_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0269888903000651","volume":"18","author":"Y. Kalfoglou","year":"2003","unstructured":"Kalfoglou, Y., Schorlemmer, M.: Ontology mapping: the state of the art. The Knowledge Engineering Review\u00a018(1), 1\u201331 (2003)","journal-title":"The Knowledge Engineering Review"},{"key":"14_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-540-32260-3_6","volume-title":"Programming Multi-Agent Systems","author":"D.N. Lam","year":"2005","unstructured":"Lam, D.N., Barber, K.S.: Debugging Agent Behavior in an Implemented Agent System. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) PROMAS 2004. LNCS, vol.\u00a03346, pp. 104\u2013125. Springer, Heidelberg (2005)"},{"key":"14_CR12","unstructured":"Nguyen, C.D., Perini, A., Tonella, P.: Automated continuous testing of multi-agent systems. In: The fifth European Workshop on Multi-Agent Systems (December 2007)"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Nguyen, C.D., Perini, A., Tonella, P.: Ontology-based Test Generation for Multi Agent Systems. In: Proc. of the International Conference on Autonomous Agents and Multiagent Systems (2008)","DOI":"10.1007\/978-3-642-01338-6_14"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Padgham, L., Winikoff, M.: Prometheus: A pragmatic methodology for engineering intelligent agents. In: Proc. Workshop on Agent Oriented Methodologies, OOPSLA 2002 (2002)","DOI":"10.1145\/544741.544749"},{"key":"14_CR15","volume-title":"Jadex: A BDI Reasoning Engine","author":"A. Pokahr","year":"2005","unstructured":"Pokahr, A., Braubach, L., Lamersdorf, W.: Multi-Agent Programming. In: Jadex: A BDI Reasoning Engine. Kluwer Book, Dordrecht (2005)"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Rouff, C.: A test agent for testing agents and their communities. In: Aerospace Conference Proceedings, vol.\u00a05 (2002)","DOI":"10.1109\/AERO.2002.1035446"},{"key":"14_CR17","unstructured":"TILAB. Java agent development framework, http:\/\/jade.tilab.com\/"},{"key":"14_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/978-3-540-70945-9_10","volume-title":"Agent-Oriented Software Engineering VII","author":"A.M. Tiryaki","year":"2007","unstructured":"Tiryaki, A.M., \u00d6ztuna, S., Dikenelli, O., Erdur, R.C.: Sunit: A unit testing framework for test driven development of multi-agent systems. In: Padgham, L., Zambonelli, F. (eds.) AOSE VII \/ AOSE 2006. LNCS, vol.\u00a04405, pp. 156\u2013173. Springer, Heidelberg (2007)"},{"key":"14_CR19","unstructured":"Zhang, Z., Thangarajah, J., Padgham, L.: Automated unit testing for agent systems. In: 2nd International Working Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2007), Barcelona, Spain (2007)"}],"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_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,24]],"date-time":"2023-05-24T15:20:25Z","timestamp":1684941625000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01338-6_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642013379","9783642013386"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01338-6_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}