{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,20]],"date-time":"2025-02-20T23:58:52Z","timestamp":1740095932484,"version":"3.37.3"},"publisher-location":"Boston, MA","reference-count":71,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387892986"},{"type":"electronic","value":"9780387892993"}],"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-0-387-89299-3_7","type":"book-chapter","created":{"date-parts":[[2009,6,12]],"date-time":"2009-06-12T03:58:05Z","timestamp":1244779085000},"page":"215-258","source":"Crossref","is-referenced-by-count":8,"title":["Debugging and Testing of Multi-Agent Systems using Design Artefacts"],"prefix":"10.1007","author":[{"given":"David","family":"Poutakidis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Winikoff\u2020","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lin","family":"Padgham","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhiyong","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,5,29]]},"reference":[{"key":"7_CR1","volume-title":"Model Based Testing","author":"L. Apfelbaum","year":"1997","unstructured":"Apfelbaum, L., Doyle, J.: Model Based Testing. In: the 10th International Software Quality Week Conference. CA, USA(1997)"},{"key":"7_CR2","volume-title":"EBBA Modelling Toola. k. a Event Definition Language","author":"P. Bates","year":"1987","unstructured":"Bates,P. : EBBA Modelling Toola. k. a Event Definition Language. Tech. rep.,Department ofComputer Science University of Massachusetts, Amherst,MA,USA (1987)"},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/3-540-44564-1_6","volume-title":"Agent-Oriented Software Engineering","author":"B. Bauer","year":"2001","unstructured":"Bauer, B., M\u00fcller, J.P., Odell, J. : Agent UML: A Formalism for Specifying Multi agent Interaction. In: P. Ciancarini, M. Wooldridge (eds.) Agent-Oriented Software Engineering,pp. 91\u2013103. Springer-Verlag, Berlin (2001)"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Benfield, S.S., Hendrickson, J., Galanti, D.: Making a strong business case for multi agent technology. In: P. Stone, G. Weiss (eds.) Autonomous Agents and Multi-Agent Systems (AAMAS), pp. 10\u201315.ACM Press (2006)","DOI":"10.1145\/1160633.1160938"},{"key":"7_CR5","volume-title":"Testing Object-Oriented Systems: Models, Patterns, and Tools","author":"R.V. Binder","year":"1999","unstructured":"Binder, R.V. : Testing Object-Oriented Systems: Models, Patterns, and Tools.Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA(1999)"},{"issue":"2","key":"7_CR6","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1145\/1217295.1217297","volume":"16","author":"D. Binkley","year":"2007","unstructured":"Binkley, D., Gold, N., Harman, M. : An empirical study of static program slice size. ACM Transactions on Software Engineering and Methodology 16(2), 8 (2007). DOI http:\/\/doi.acm.org\/10.1145\/1217295.1217297","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1023\/B:AGNT.0000018806.20944.ef","volume":"8","author":"P. Bresciani","year":"2004","unstructured":"Bresciani,P.,Giorgini,P.,Giunchiglia,F.,Mylopoulos,J.,Perini,A.:Tropos: An agent oriented software development methodology. Journal of Autonomous Agents and Multi-Agent Systems 8, 203\u2013236 (2004)","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"},{"key":"7_CR8","first-page":"65","volume-title":"Object-Oriented Programming Systems, Languages, and Applications. OOPSLA","author":"B. Bruegge","year":"1993","unstructured":"Bruegge, B., Gottschalk, T., Luo, B.: A framework for dynamic program analyzers. In: Object-Oriented Programming Systems, Languages, and Applications. OOPSLA, pp. 65\u201382.ACM Press,Washington (1993)"},{"key":"7_CR9","unstructured":"Busetta, P., Howden, N., R\u00f6nnquist, R., Hodgson, A.: Structuring BDI agents in functional clusters. In: Agent Theories, Architectures, and Languages (ATAL-99), pp. 277\u2013289. Springer-Verlag (2000). LNCS 1757"},{"key":"7_CR10","volume-title":"JACK Intelligent Agents -Components for Intelligent Agents in Java","author":"P. Busetta","year":"1998","unstructured":"Busetta, P., R\u00f6nnquist, R., Hodgson, A.,Lucas, A.: JACK Intelligent Agents -Components for Intelligent Agents in Java. Tech. rep., Agent Oriented Software Pty. Ltd, Melbourne, Australia (1998)"},{"key":"7_CR11","volume-title":"Multi-Agent Systems Implementation and Testing","author":"G. Caire","year":"2004","unstructured":"Caire, G., Cossentino, M.,Negri, A.,Poggi, A., Turci, P. : Multi-Agent Systems Implementation and Testing. In: the Fourth International Symposium: From Agent Theory to Agent Implementation. Vienna, Austria (EU) (2004)"},{"issue":"5","key":"7_CR12","doi-asserted-by":"publisher","first-page":"1512","DOI":"10.1145\/186025.186051","volume":"16","author":"E.M. Clarke","year":"1994","unstructured":"Clarke, E.M., Grumberg, O., Long, D.E. : Model checking and abstraction. ACM Transactions on Programming Languages and Systems 16(5), 1512\u20131542 (1994). URL cite-seer.ist.psu.edu\/clarke92model.html","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Coelho, R., Kulesza, U., vonStaa, A., Lucena, C. : Unit Testing in Multi-Agent Systems using Mock Agents and Aspects. In: Proceedings of the 2006 International Workshop on Software Engineering for Large-Scale Multi-Agent Systems, pp. 83\u201390 (2006)","DOI":"10.1145\/1138063.1138079"},{"key":"7_CR14","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1109\/85.279235","volume":"16","author":"B. Cohen","year":"1994","unstructured":"Cohen, B.: The use of bug in computing. IEEE Annals of the History of Computing 16, No2 (1994)","journal-title":"IEEE Annals of the History of Computing"},{"issue":"7","key":"7_CR15","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1109\/32.605761","volume":"23","author":"D.M. Cohen","year":"1997","unstructured":"Cohen, D.M., Dalal ,S.R., Fredman, M.L., Patton, G.C. : The AETG system: An Approach to Testing Based on Combinatorial Design. Software Engineering 23(7), 437\u2013444 (1997). URL citeseer.ist.psu.edu\/cohen97aetg.html","journal-title":"Software Engineering"},{"key":"7_CR16","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/10722777_12","volume-title":"Issues in Agent Communication","author":"R.S. Cost","year":"2000","unstructured":"Cost, R.S., Chen, Y., Finin, T., Labrou, Y., Peng, Y.: Using colored petri nets for conversation modeling. In: F. Dignum, M. Greaves (eds.) Issues in Agent Communication, pp. 178\u2013192. Springer-Verlag: Heidelberg, Germany (2000). URL cite-seer.ist.psu.edu\/article\/cost99using.html"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Dalal, S.R., Jain, A., Karunanithi, N., Leaton, J.M., Lott, C.M., Patton, G.C., Horowitz, B.M.: Model-based testing in practice. In: International Conference on Software Engineering (1999)","DOI":"10.1145\/302405.302640"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"DeLoach, S.A.: Analysis and design using MaSE and agent Tool. In: Proceedings of the 12th Midwest Artificial Intelligence and Cognitive Science Conference (MAICS 2001) (2001)","DOI":"10.21236\/ADA448191"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"De Loach, S.A. : Developing a multi agent conference management system using the O-MaSE process framework. In: Luck and Padgham [39], pp. 168\u2013181","DOI":"10.1007\/978-3-540-79488-2_13"},{"issue":"3","key":"7_CR20","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1142\/S0218194001000542","volume":"11","author":"S.A. DeLoach","year":"2001","unstructured":"DeLoach, S.A., Wood, M.F., Sparkman, C.H. : Multi agent systems engineering.International Journal of Software Engineering and Knowledge Engineering 11(3), 231\u2013258 (2001)","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"volume-title":"Agent Mediated Electronic Commerce: The European Agent link Perspective. Lecture Notes in Artificial Intelligence","year":"1991","key":"7_CR21","unstructured":"Dignum, F., Sierra, C. (eds.): Agent Mediated Electronic Commerce: The European Agent link Perspective. Lecture Notes in Artificial Intelligence. Springer-Verlag, London, UK (1991)"},{"issue":"2","key":"7_CR22","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1002\/spe.4380220205","volume":"22","author":"E.P. Doolan","year":"1992","unstructured":"Doolan, E.P.: Experience with Fagan\u2019s inspection method. Software Practice and Experience 22(2), 173\u2013182 (1992)","journal-title":"Software Practice and Experience"},{"key":"7_CR23","unstructured":"Ducass\u00e9, M. : A pragmatic survey of automated debugging. In: Automated and Algorithmic Debugging, LNCS,vol. 749, pp. 1\u201315. Springer Berlin\/Heidelberg(1993). URL cite-seer.ist.psu.edu\/367030.html"},{"key":"7_CR24","unstructured":"Ekinci, E.E., Tiryaki, A.M., \u00c7 et in,\u00d6.: Goal-oriented agent test ingrevisited. In: J.J. Gomez-Sanz, M.Luck (eds.) Ninth International Workshop on Agent-Oriented Software Engineering, pp. 85\u201396 (2008)"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"El-Far, I.K., Whittaker, J.A. : Model-Based Software Testing, pp. 825\u2013837.Wiley (2001)","DOI":"10.1002\/0471028959.sof207"},{"issue":"7","key":"7_CR26","doi-asserted-by":"publisher","first-page":"744","DOI":"10.1109\/TSE.1986.6312976","volume":"SE-12","author":"Fagan","year":"1986","unstructured":"Fagan, M.E. : Advances in software inspections. IEEE Transactions on Software Engineering SE-12(7), 744\u2013751 (1986)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7_CR27","doi-asserted-by":"crossref","unstructured":"Flater, D.: Debugging agent interactions:a case study. In: Proceedings of the 16th ACM Symposium on Applied Computing(SAC2001), pp. 107\u2013114.ACM Press (2001)","DOI":"10.1145\/372202.372288"},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"Gomez-Sanz, J.J., Bot\u00eda, J., Serrano, E., Pav\u00f3n, J. : Testing and debugging of MAS interactions with INGENIAS. In: J.J. Gomez-Sanz, M.Luck (eds.) Ninth International Workshop on Agent-Oriented Software Engineering, pp. 133\u2013144 (2008)","DOI":"10.1007\/978-3-642-01338-6_15"},{"issue":"1","key":"7_CR29","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1147\/sj.411.0004","volume":"41","author":"B. Hailpern","year":"2002","unstructured":"Hailpern, B., Santhanam,P.: Software debugging,testing, and verification. IBM Systems Journal 41(1), 1\u201312 (2002)","journal-title":"IBM Systems Journal"},{"key":"7_CR30","doi-asserted-by":"crossref","unstructured":"Hall, C., Hammond, K., O\u2019Donnell, J.: An algorithmic and semantic approach to debugging. In: Proceedings of the 1990 Glasgow Workshop on Functional Programming, pp. 44\u201353 (1990)","DOI":"10.1007\/978-1-4471-3810-5_4"},{"key":"7_CR31","doi-asserted-by":"crossref","unstructured":"Huber, M.J. : JAM: ABDI-theoretic mobile agent architecture. In: Proceedings of the Third International Conference on Autonomous Agents (Agents\u201999), pp. 236\u2013243 (1999)","DOI":"10.1145\/301136.301202"},{"key":"7_CR32","unstructured":"Huget, M.P., Odell, J., Haugen, \u00d8., Nodine, M.M., Cranefield, S., Levy, R., Padgham., L. :Fipa modeling: Interaction diagrams. On www.auml.org under \u201cWorking Documents\u201d (2003). FIPAWorkingDraft(version 2003-07-02)"},{"issue":"2","key":"7_CR33","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1145\/947902.947908","volume":"17","author":"Johnson","year":"1982","unstructured":"Johnson, M.S. : A software debugging glossary. ACM SIGPLAN Notices 17(2), 53\u201370 (1982)","journal-title":"ACM SIGPLAN Notices"},{"key":"7_CR34","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1109\/ICSE.2004.1317420","volume-title":"Proceedings of the 26th International Conference on Software Engineering","author":"J.A. Jones","year":"2004","unstructured":"Jones, J.A. : Fault localization using visualization of test information. In: Proceedings of the 26th International Conference on Software Engineering, pp. 54\u201356. IEEE Computer Society, Washington, DC, USA(2004)"},{"key":"7_CR35","unstructured":"Knublauch, H. : Extreme programming of multi-agent systems. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS) (2002). URL citeseer.ist.psu.edu\/knublauch02extreme.html"},{"issue":"2","key":"7_CR36","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/0743-7315(90)90046-R","volume":"9","author":"T. LeBlanc","year":"1990","unstructured":"LeBlanc, T., MellorCrummey, J., Fowler, R. : Analyzing parallel program executions using multiple views. Parallel and Distributed Computing 9(2), 203\u2013217 (1990)","journal-title":"Parallel and Distributed Computing"},{"key":"7_CR37","unstructured":"Lind, J. : Specifying agent interaction protocols with standard UML. In: Agent-Oriented Software Engineering II: Second International Workshop, Montreal Canada, LNCS, vol. 2222, pp. 136\u2013147 (2001). URL citeseer.ist.psu.edu\/lind01specifying.html"},{"issue":"4","key":"7_CR38","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1023\/A:1010011219782","volume":"2","author":"C.K. Low","year":"1999","unstructured":"Low, C.K., Chen,T.Y., R\u00f6nnquist, R. :Automated Test Case Generationfor BDI agents. Autonomous Agents and Multi-Agent Systems 2(4), 311\u2013332 (1999)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"7_CR39","doi-asserted-by":"crossref","unstructured":"Luck,M.,Padgham,L.(eds.):Agent-Oriented Software Engineering VIII, 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised selected Papers, Lecture Notes in Computer Science, vol. 4951. Springer (2008)","DOI":"10.1007\/978-3-540-79488-2"},{"key":"7_CR40","volume-title":"Process improvement analysis of a corporate inspection program","author":"R. Madachy","year":"1995","unstructured":"Madachy, R.: Process improvement analysis of a corporate inspection program. In: Seventh Software Engineering Process Group Conference, Boston, MA (1995)"},{"issue":"4","key":"7_CR41","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/j.entcs.2006.12.030","volume":"174","author":"W. Mayer","year":"2007","unstructured":"Mayer, W., Stumptner, M. : Model-based debugging -state of the art and future challenges. Electronic Notes in Theoretical Computer Science 174(4), 61\u201382 (2007). DOI http:\/\/dx.doi.org\/10.1016\/j.entcs.2006.12.030","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"4","key":"7_CR42","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1145\/76894.76897","volume":"21","author":"C. McDowell","year":"1989","unstructured":"McDowell, C., Helmbold,D.: Debugging concurrent programs.ACM Computing Surveys 21(4), 593\u2013622 (1989)","journal-title":"ACM Computing Surveys"},{"key":"7_CR43","doi-asserted-by":"crossref","unstructured":"Morandini, M., Nguyen, D.C., Perini, A., Siena, A., Susi, A. : Tool-supported development with Tropos: The conference management system case study. In:Luck and Padgham [39], pp. 182\u2013196","DOI":"10.1007\/978-3-540-79488-2_14"},{"issue":"4","key":"7_CR44","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1017\/S0269888906001020","volume":"21","author":"S. Munroe","year":"2006","unstructured":"Munroe, S., Miller, T., Belecheanu, R., Pechoucek, M., McBurney, P., Luck, M.: Crossing the agent technology chasm: Experiences and challenges in commercial applications of agents. Knowledge Engineering Review 21(4), 345\u2013392 (2006)","journal-title":"Knowledge Engineering Review"},{"key":"7_CR45","first-page":"5397","volume-title":"Proceedings of the SIGCHI conference on Human Factors in computing systems","author":"B.A. Myers","year":"2006","unstructured":"Myers, B.A., Weitzman, D.A., Ko, A.J., Chau, D.H. : Answering why and why not questions in user interfaces. In: Proceedings of the SIGCHI conference on Human Factors in computing systems, pp. 5397\u2013406. ACM, NewYork, NY, USA (2006)"},{"key":"7_CR46","unstructured":"Mylopoulos, J., Castro, J.,Kolp, M .: Tropos: Toward agent-oriented information systems engineering. In: Second International Bi-Conference Workshop onAgent-Oriented Information Systems (AOIS2000) (2000)"},{"issue":"3","key":"7_CR47","first-page":"1","volume":"1997","author":"L. Naish","year":"1997","unstructured":"Naish, L. : A declarative debugging scheme. Journal of Functional and Logic Programming 1997(3), 1\u201327 (1997)","journal-title":"Journal of Functional and Logic Programming"},{"key":"7_CR48","unstructured":"Ndumu, D.T., Nwana, H.S., Lee, L.C., Collis, J.C. :Visualising and debugging distributed multi-agent systems. In: Proceedings of the third annual conference on Autonomous Agents, pp. 326\u2013333.ACM Press (1999). DOI http:\/\/doi.acm.org\/10.1145\/301136.301220"},{"key":"7_CR49","volume-title":"eCAT: A tool for automating test cases generation and execution in testing multi-agent systems(demopaper)","author":"C.D. Nguyen","year":"2008","unstructured":"Nguyen, C.D., Perini, A., Tonella, P. : eCAT: A tool for automating test cases generation and execution intesting multi-agent systems(demopaper).In: 7th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008).Estoril, Portugal (2008)"},{"key":"7_CR50","volume-title":"Ontology-based test generation for multi agent systems(short paper)","author":"C.D. Nguyen","year":"2008","unstructured":"Nguyen, C.D., Perini, A., Tonella, P. : Ontology-based test generation for multi agent systems(short paper). In: 7th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008). Estoril, Portugal (2008)"},{"key":"7_CR51","unstructured":"O\u2019Hare, G.M.P., Wooldridge, M.J. : A software engineering perspective on multi-agent system design: experience in the development of MADE. In: Distributed artificial intelligence: theory and praxis, pp. 109\u2013127. Kluwer Academic Publishers (1992)"},{"key":"7_CR52","doi-asserted-by":"crossref","unstructured":"Padgham, L., Thangarajah, J., Winikoff, M.: The prometheus design tool - a conference management system case study. In: Luck and Padgham [39], pp. 197\u2013211","DOI":"10.1007\/978-3-540-79488-2_15"},{"key":"7_CR53","doi-asserted-by":"crossref","unstructured":"Padgham, L., Winikoff, M. : Developing Intelligent Agent Systems: A Practical Guide. John Wiley and Sons (2004). ISBN 0-470-86120-7","DOI":"10.1002\/0470861223"},{"key":"7_CR54","doi-asserted-by":"crossref","unstructured":"Padgham, L., Winikoff, M., DeLoach, S., Cossentino, M.: A unified graphical notation for AOSE. In: Ninth International Workshop on Agent Oriented Software Engineering (AOSE) (2008)","DOI":"10.1007\/978-3-642-01338-6_9"},{"issue":"2","key":"7_CR55","first-page":"173","volume":"18","author":"L. Padgham","year":"2005","unstructured":"Padgham, L., Winikoff, M., Poutakidis, D. : Adding debugging support to the prometheus methodology. Engineering Applications of Artificial Intelligence, special issue on Agent oriented Software Development 18(2), 173\u2013190 (2005)","journal-title":"Engineering Applications of Artificial Intelligence, special issue on Agent oriented Software Development"},{"key":"7_CR56","volume-title":"SoftwareTesting (Second Edition)","author":"R. Patton","year":"2005","unstructured":"Patton, R. :Software Testing (Second Edition). Sams, Indianapolis, IN, USA(2005)"},{"key":"7_CR57","first-page":"149","volume":"3067","author":"S. Paurobally","year":"2004","unstructured":"Paurobally, S., Cunningham, J., Jennings, N.R.: Developing agent interaction protocols graphically and logically. In: Programming Multi-Agent Systems,LectureNotes in Arti fi cial Intelligence, vol. 3067, pp. 149\u2013168 (2004)","journal-title":"LectureNotes in Artificial Intelligence"},{"issue":"3","key":"7_CR58","first-page":"76","volume":"3","author":"A. Pokahr","year":"2003","unstructured":"Pokahr, A., Braubach, L., Lamersdorf, W. : Jadex: Implementing a BDI-Infrastructure for JADE Agents. EXP -In Search of Innovation (Special Issue on JADE) 3(3), 76\u201385 (2003)","journal-title":"EXP -In Search of Innovation (Special Issue on JADE)"},{"key":"7_CR59","unstructured":"Poutakidis, D. : Debugging multi-agent systems with design documents. Ph.D. thesis, RMIT University, School of Computer Science and IT (2008)"},{"key":"7_CR60","doi-asserted-by":"crossref","unstructured":"Poutakidis, D., Padgham, L., Winikoff, M.: Debugging multi-agent systems using design artifacts: The case of interaction protocols. In: Proceedings of the First International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS\u201902) (2002)","DOI":"10.1145\/544862.544966"},{"key":"7_CR61","first-page":"628","volume-title":"An exploration of bugs and debugging in multi agent systems","author":"D. Poutakidis","year":"2003","unstructured":"Poutakidis, D., Padgham, L., Winikoff, M. : An exploration of bugs and debuggingin multi agent systems. In: Proceedings of the 14th International Symposium on Methodologies for Intelligent Systems (ISMIS), pp. 628\u2013632. Maebashi City, Japan (2003)"},{"key":"7_CR62","doi-asserted-by":"crossref","unstructured":"Purvis, M., Cranefield, S., Nowostawski, M., Purvis, M.: Multi-agent system interaction protocols in a dynamically changing environment. In: T. Wagner (ed.) An Application Sciencefor Multi-AgentSystems, pp. 95\u2013112. Kluwer Academic (2004)","DOI":"10.1007\/1-4020-7868-4_6"},{"key":"7_CR63","unstructured":"Reisig, W. : PetriNets: An Introduction. EATCS Monographs on Theoretical Computer Science. Springer-Verlag (1985). ISBN 0-387-13723-8"},{"key":"7_CR64","first-page":"2638","volume":"5","author":"C. Rouff","year":"2002","unstructured":".Rouff, C. :A Test Agent for Testing Agents and their Communities. Aerospace Conference Proceedings, 2002. IEEE 5, 2638 (2002)","journal-title":"Aerospace Conference Proceedings, 2002. IEEE"},{"issue":"3","key":"7_CR65","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/BF02277859","volume":"7","author":"R. Schwarz","year":"1994","unstructured":"Schwarz, R., Mattern, F.: Detecting causal relationships in distributed computations: In search of the holy grail. Distributed Computing 7(3), 149\u2013174 (1994). URL cite-seer.nj.nec.com\/schwarz94detecting.html","journal-title":"In search of the holy grail. Distributed Computing"},{"key":"7_CR66","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1192.001.0001","volume-title":"Algorithmic Program Debugging","author":"E.Y. Shapiro","year":"1983","unstructured":"Shapiro, E.Y.: Algorithmic Program Debugging. MIT Press, Cambridge, MA, USA(1983)"},{"key":"7_CR67","doi-asserted-by":"crossref","unstructured":"Sprinkle, J., van Buskirk, C.P., Karsai, G.: Modeling agent negotiation. In: Proceedings ofthe 2000 IEEE International Conference on Systems, Man, and Cybernetics,Nashville, TN, vol. 1, pp. 454\u2013459 (2000)","DOI":"10.1109\/ICSMC.2000.885034"},{"issue":"5","key":"7_CR68","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1016\/S0020-7373(85)80054-7","volume":"23","author":"I. Vessey","year":"1985","unstructured":"Vessey, I.: Expertise in debugging computer programs: A process analysis. International Journal of Man-Machine Studies 23(5), 459\u2013494 (1985)","journal-title":"International Journal of Man-Machine Studies"},{"issue":"7","key":"7_CR69","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1145\/358557.358577","volume":"25","author":"M. Weiser","year":"1982","unstructured":"Weiser, M.: Programmers use slices when debugging. Communications of the ACM 25(7), 446\u2013452 (1982). DOI http:\/\/doi.acm.org\/10.1145\/358557.358577","journal-title":"Communications of the ACM"},{"key":"7_CR70","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1145\/1321631.1321659","volume-title":"Proceedings of the twenty-second IEEE\/ACM international conference on Automated software engineering","author":"C. Yilmaz","year":"2007","unstructured":"Yilmaz, C., Williams, C.: An automated model-based debugging approach. In: Proceedings of the twenty-second IEEE\/ACM international conference on Automated software engineering, pp. 174\u2013183. ACM, New York, NY, USA (2007). DOI http:\/\/doi.acm.org\/10.1145\/1321631.1321659"},{"key":"7_CR71","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).","DOI":"10.5220\/0002585900100018"}],"container-title":["Multi-Agent Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-89299-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,10]],"date-time":"2025-02-10T03:07:13Z","timestamp":1739156833000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-89299-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9780387892986","9780387892993"],"references-count":71,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-89299-3_7","relation":{},"subject":[],"published":{"date-parts":[[2009]]}}}