{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T20:38:21Z","timestamp":1743021501409,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031441455"},{"type":"electronic","value":"9783031441462"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-44146-2_23","type":"book-chapter","created":{"date-parts":[[2023,9,22]],"date-time":"2023-09-22T09:02:22Z","timestamp":1695373342000},"page":"230-235","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A State-of-the-Art Review of the Mutation Analysis Technique for Testing Multi-agent Systems"],"prefix":"10.1007","author":[{"given":"Soufiene","family":"Boukeloul","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nour El Houda","family":"Dehimi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Makhlouf","family":"Derdour","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,9,23]]},"reference":[{"key":"23_CR1","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1016\/j.neucom.2014.04.060","volume":"146","author":"MB Babac","year":"2014","unstructured":"Babac, M.B., Jevti\u0107, D.: AgentTest: a specification language for agent-based system testing. Neurocomputing 146, 230\u2013248 (2014)","journal-title":"Neurocomputing"},{"key":"23_CR2","doi-asserted-by":"crossref","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 Press, New York (2006)","DOI":"10.1145\/1138063.1138079"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"De Wolf, T., Samaey, G., Holvoet, T.: Engineering self-organising emergent systems with simulation-based scientific analysis. In: Brueckner, S., Serugendo, D.M., Hales, D., Zambonelli, F. (eds.) Third International Workshop on Engineering Self-organising Application, pp. 146\u2013160. sUtrech, Netherlands (2005)","DOI":"10.1007\/11734697_11"},{"key":"23_CR4","unstructured":"Dehimi, N.E.H., Mokhati, F.: A novel test case generation approach based on AUML sequence diagram. In: International Conference on Networking and Advanced Systems (ICNAS) (2019)"},{"key":"23_CR5","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1016\/j.engappai.2015.09.013","volume":"46","author":"NEH Dehimi","year":"2015","unstructured":"Dehimi, N.E.H., Mokhati, F., Badri, M.: Testing HMAS-based applications: an ASPECS-based approach. Eng. Appl. Artif. Intell. 46, 232\u2013257 (2015)","journal-title":"Eng. Appl. Artif. Intell."},{"issue":"22","key":"23_CR6","doi-asserted-by":"publisher","first-page":"3642","DOI":"10.3390\/electronics11223642","volume":"11","author":"NEH Dehimi","year":"2022","unstructured":"Dehimi, N.E.H., Benkhalef, A.H., Tolba, Z.: A novel mutation analysis-based approach for testing parallel behavioural scenarios in multi-agent systems. Electronics 11(22), 3642 (2022)","journal-title":"Electronics"},{"key":"23_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1155\/2010\/386035","volume":"2010","author":"M Derdour","year":"2010","unstructured":"Derdour, M., et al.: MMSA: metamodel multimedia software architecture. Adv. Multimed. 2010, 1\u201317 (2010)","journal-title":"Adv. Multimed."},{"issue":"4","key":"23_CR8","first-page":"39","volume":"1","author":"M Derdour","year":"2010","unstructured":"Derdour, M., et al.: Typing of adaptation connectors in MMSA approach case study: sending MMS. Int. J. Res. Rev. Comput. Sci. 1(4), 39\u201349 (2010)","journal-title":"Int. J. Res. Rev. Comput. Sci."},{"key":"23_CR9","doi-asserted-by":"publisher","unstructured":"Ekinci, E.E., Tiryaki, A.M., Cetin, O., Dikenelli, O.: Goal-oriented agent testing revisited. In: Luck, M., Gomez-Sanz, J.J. (eds.) AOSE 2008. LNCS, vol. 5386, pp. 85\u201396. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-642-01338-6_13","DOI":"10.1007\/978-3-642-01338-6_13"},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"El Houda, D.N., Soufiene, B., Djaber, G.: Towards a new dynamic model-based testing approach for multi-agent systems. In: 2022 4th International Conference on Pattern Analysis and Intelligent Systems (PAIS). IEEE (2022)","DOI":"10.1109\/PAIS56586.2022.9946659"},{"key":"23_CR11","doi-asserted-by":"publisher","unstructured":"Huang, Z., Alexander, R., Clark, J.: Mutation testing for Jason agents. In: Dalpiaz, F., Dix, J., van Riemsdijk, M.B. (eds.) EMAS 2014. LNCS, vol. 8758, pp. 309\u2013327. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-14484-9_16","DOI":"10.1007\/978-3-319-14484-9_16"},{"key":"23_CR12","doi-asserted-by":"publisher","unstructured":"Lam, D.N., Barber, K.S.: Debugging agent behavior in an implemented agent system. In: Bordini, R.H., Dastani, M.M., Dix, J., El Fallah Seghrouchni, A. (eds.) PROMAS 2004. LNCS (LNAI), vol. 3346, pp. 104\u2013125. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/978-3-540-32260-3_6","DOI":"10.1007\/978-3-540-32260-3_6"},{"issue":"1","key":"23_CR13","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1504\/IJAOSE.2010.029810","volume":"4","author":"CD Nguyen","year":"2010","unstructured":"Nguyen, C.D., Perini, A., Tonella, P.: Goal-oriented testing for MASs. Int. J. Agent-Oriented Softw. Eng. 4(1), 79\u2013109 (2010)","journal-title":"Int. J. Agent-Oriented Softw. Eng."},{"issue":"4","key":"23_CR14","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1002\/stvr.323","volume":"15","author":"M Nunez","year":"2005","unstructured":"Nunez, M., Rodr\u00edguez, I., Rubio, F.: Specification and testing of autonomous agents in e-commerce systems. Softw. Test. Verification Reliab. 15(4), 211\u2013233 (2005)","journal-title":"Softw. Test. Verification Reliab."},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"Offutt, A.J., Rothermel, G., Zapf, C.: An experimental evaluation of selective mutation. In: Proceedings of the 15th International Conference on Software Engineering, pp. 100\u2013107 (1993)","DOI":"10.1109\/ICSE.1993.346062"},{"key":"23_CR16","doi-asserted-by":"publisher","unstructured":"Sakellariou, I., et al.: Stream X-machines for agent simulation test case generation. In: Duval, B., van den Herik, J., Loiseau, S., Filipe, J. (eds.) ICAART 2015. LNCS, vol. 9494, pp. 37\u201357. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-27947-3_3","DOI":"10.1007\/978-3-319-27947-3_3"},{"key":"23_CR17","doi-asserted-by":"publisher","unstructured":"Savarimuthu, S., Winikoff, M.: Mutation operators for the GOAL agent language. In: Cossentino, M., El Fallah Seghrouchni, A., Winikoff, M. (eds.) EMAS 2013. LNCS, vol. 8245, pp. 255\u2013273. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-45343-4_14","DOI":"10.1007\/978-3-642-45343-4_14"},{"key":"23_CR18","unstructured":"Thaler, J., Siebers, P.-O.: Show me your properties: the potential of property-based testing in agent-based simulation. In: Proceedings of the 2019 Summer Simulation Conference (2019)"},{"key":"23_CR19","unstructured":"Zhang, Z., Thangarajah, J., Padgham, L.: Automated unit testing intelligent agents in PDT. In: AAMAS (Demos), pp. 1673\u20131674 (2008)"},{"key":"23_CR20","unstructured":"Zhang, Z., Thangarajah, J., Padgham, L.: Model based testing for agent systems. In: AAMAS, vol. 2, pp. 1333\u20131334 (2009)"}],"container-title":["Lecture Notes in Networks and Systems","Novel & Intelligent Digital Systems: Proceedings of the 3rd International Conference (NiDS 2023)"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-44146-2_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,28]],"date-time":"2024-10-28T18:39:30Z","timestamp":1730140770000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-44146-2_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031441455","9783031441462"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-44146-2_23","relation":{},"ISSN":["2367-3370","2367-3389"],"issn-type":[{"type":"print","value":"2367-3370"},{"type":"electronic","value":"2367-3389"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"23 September 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"NiDS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Novel & Intelligent Digital Systems Conferences","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Athens","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 September 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 September 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"nids2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/iis-international.org\/nids2022\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}