{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T23:25:20Z","timestamp":1725837920626},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319261836"},{"type":"electronic","value":"9783319261843"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-26184-3_8","type":"book-chapter","created":{"date-parts":[[2015,11,14]],"date-time":"2015-11-14T07:44:19Z","timestamp":1447487059000},"page":"131-152","source":"Crossref","is-referenced-by-count":2,"title":["Semantic Mutation Testing for Multi-agent Systems"],"prefix":"10.1007","author":[{"given":"Zhan","family":"Huang","sequence":"first","affiliation":[]},{"given":"Rob","family":"Alexander","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,15]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Adra, S.F., McMinn, P.: Mutation operators for agent-based models. In: Proceedings of 5th International Workshop on Mutation Analysis. IEEE Computer Society (2010)","DOI":"10.1109\/ICSTW.2010.9"},{"key":"8_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809163","volume-title":"Introduction to Software Testing","author":"P Ammann","year":"2008","unstructured":"Ammann, P., Offutt, J.: Introduction to Software Testing. Cambridge University Press, New York (2008)"},{"key":"8_CR3","unstructured":"Bordini, R.H., H\u00fcbner, J.F.: Semantics for the Jason variant of AgentSpeak (plan failure and some internal actions). In: Proceedings of ECAI 2010, pp. 635\u2013640 (2010)"},{"key":"8_CR4","doi-asserted-by":"publisher","DOI":"10.1002\/9780470061848","volume-title":"Programming Multi-Agent Systems in AgentSpeak using Jason","author":"RH Bordini","year":"2007","unstructured":"Bordini, R.H., H\u00fcbner, J.F., Wooldridge, M.: Programming Multi-Agent Systems in AgentSpeak using Jason. Wiley, Hoboken (2007)"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Clark, J.A., Dan, H., Hierons, R.M.: Semantic Mutation Testing. Science of Computer Programming (2011)","DOI":"10.1109\/ICSTW.2010.8"},{"issue":"3","key":"8_CR6","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/s10458-008-9036-y","volume":"16","author":"M Dastani","year":"2008","unstructured":"Dastani, M.: 2APL: a practical agent programming language. Auton. Agent. Multi-Agent Syst. 16(3), 214\u2013248 (2008)","journal-title":"Auton. Agent. Multi-Agent Syst."},{"key":"8_CR7","series-title":"Languages, Platforms and Applications","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/0-387-26350-0_2","volume-title":"Multi-Agent Programming","author":"M Dastani","year":"2005","unstructured":"Dastani, M., van Riemsdijk, M.B., Meyer, J.J.C.: Programming multi-agent systems in 3APL. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) Multi-Agent Programming. Languages, Platforms and Applications, pp. 39\u201367. Springer, Heidelberg (2005)"},{"key":"8_CR8","series-title":"Languages, platforms and applications","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-642-03278-3","volume-title":"Multi-agent programming","author":"KV Hindriks","year":"2009","unstructured":"Hindriks, K.V.: Programming rational agents in GOAL. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) Multi-agent programming. Languages, platforms and applications, vol. 2, pp. 3\u201337. Springer, Heidelberg (2009)"},{"issue":"6","key":"8_CR9","first-page":"135","volume":"2","author":"Z Houhamdi","year":"2011","unstructured":"Houhamdi, Z.: Multi-agent system testing: a survey. Int. J. Adv. Comput. Sci. Appl. (IJACSA) 2(6), 135\u2013141 (2011)","journal-title":"Int. J. Adv. Comput. Sci. Appl. (IJACSA)"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/978-3-319-14484-9_16","volume-title":"Engineering Multi-Agent Systems","author":"Z Huang","year":"2014","unstructured":"Huang, Z., Alexander, R., Clark, J.: Mutation testing for Jason agents. In: Dalpiaz, F., Dix, J., van Riemsdijk, M. (eds.) EMAS 2014. LNCS, vol. 8758, pp. 309\u2013327. Springer, Heidelberg (2014)"},{"key":"8_CR11","unstructured":"Jason changelog. \n                      http:\/\/sourceforge.net\/p\/jason\/svn\/HEAD\/tree\/trunk\/release-notes.txt"},{"key":"8_CR12","unstructured":"JGit documentation. \n                      https:\/\/eclipse.org\/jgit\/documentation\/"},{"key":"8_CR13","unstructured":"JRebel documentation. \n                      http:\/\/zeroturnaround.com\/software\/jrebel\/learn\/"},{"key":"8_CR14","volume-title":"Foundations of Software Testing","author":"AP Mathur","year":"2008","unstructured":"Mathur, A.P.: Foundations of Software Testing. Pearson, New Delhi (2008)"},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1007\/978-3-642-19208-1_13","volume-title":"Agent-Oriented Software Engineering X","author":"CD Nguyen","year":"2011","unstructured":"Nguyen, C.D., Perini, A., Bernon, C., Pav\u00f3n, J., Thangarajah, J.: Testing in multi-agent systems. In: Gomez-Sanz, J.J. (ed.) AOSE 2009. LNCS, vol. 6038, pp. 180\u2013190. Springer, Heidelberg (2011)"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Saifan, A.A., Wahsheh, H.A.: Mutation operators for JADE mobile agent systems. In: Proceedings of the 3rd International Conference on Information and Communication Systems, ICICS (2012)","DOI":"10.1145\/2222444.2222460"},{"key":"8_CR17","unstructured":"Savarimuthu, S., Winikoff, M.: Mutation operators for cognitive agent programs. In: Proceedings of the 2013 International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2013), pp. 1137\u20131138 (2013)"},{"key":"8_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/978-3-642-45343-4_14","volume-title":"Engineering Multi-Agent Systems","author":"S Savarimuthu","year":"2013","unstructured":"Savarimuthu, S., Winikoff, M.: Mutation operators for the GOAL agent language. In: Winikoff, M. (ed.) EMAS 2013. LNCS, vol. 8245, pp. 255\u2013273. Springer, Heidelberg (2013)"},{"key":"8_CR19","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":"AM 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. 4405, pp. 156\u2013173. Springer, Heidelberg (2007)"},{"key":"8_CR20","unstructured":"Winikoff, M.: Novice programmers\u2019 faults & failures in GOAL programs. In: Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2014), pp. 301\u2013308 (2014)"}],"container-title":["Lecture Notes in Computer Science","Engineering Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-26184-3_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T11:00:26Z","timestamp":1559300426000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-26184-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319261836","9783319261843"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-26184-3_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}