Spectrum-based fault localisation for multi-agent systems

IJCAI International Joint Conference on Artificial Intelligence

Volumn 2015-January, Issue , 2015, Pages 1134-1140

  Passos, Lúcio S ^a   Abreu, Rui ^a,b,c   Rossetti, Rosaldo J F ^a  

^a UNIVERSITY OF PORTO   (Portugal)

^b UNIVERSITY OF PORTO   (Portugal)

^c PALO ALTO RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; INTELLIGENT AGENTS; PROGRAM DEBUGGING; PROGRAM DIAGNOSTICS;

DIAGNOSTIC ACCURACY; DIAGNOSTIC PROCESS; DIAGNOSTIC QUALITY; ERROR PRONES; EXPERIMENTAL EVALUATION; LIGHT WEIGHT; LOCALISATION; MINIMAL INFORMATION;

MULTI AGENT SYSTEMS;

EID: 84949759944     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (24)

1. Rui Abreu, Peter Zoeteweij, Rob Golsteijn, and Arjan J.C. van Gemund. A practical evaluation of spectrum-based fault localization. Journal of Systems and Software, 82(11):1780-1792, 2009.
2. Rafael H. Bordini, Jomi Fred Hubner, and Michael Wooldridge. Programming Multi-Agent Systems in AgentSpeak using Jason. John Wiley & Sons, Ltd, 2007.
3. José. Campos, Rui. Abreu, Gordon Fraser, and Marcelo d'Amorim. Entropy-based test generation for improved fault localization. In Proc. of ASE'13, pages 257-267, Nov 2013.
4. Mehdi Dastani, Jrgen Dix, and Peter Novk. The second contest on multi-agent systems based on computational logic. In Computational Logic in Multi-Agent Systems, Volume 4371 of LNCS, pages 266-283. Springer, 2007.
5. Johan de Kleer and Brian C. Williams. Diagnosing multiple faults. Artificial Intelligence, 32(1):97-130, 1987.
6. Chrysanthos Dellarocas and Mark Klein. An experimental evaluation of domain-independent fault handling services in open multi-agent systems. In Proc. of ICMAS'2000, pages 95-102, 2000.
7. Klaus Fischer, JoRG P. Muller, and Markus Pischel. Cooperative transportation scheduling: An application domain for dai. Applied Artificial Intelligence, 10(1):1-34, 1996.
8. Michael Fisher, Rafael H. Bordini, Benjamin Hirsch, and Paolo Torroni. Computational logics and agents: A road map of current technologies and future trends. Computational Intelligence, 23(1):61-91, 2007.
9. Birgit Hofer, Alexandre Perez, Rui Abreu, and Franz Wotawa. On the empirical evaluation of similarity coefficients for spreadsheets fault localization. Automated Software Engineering, 22(1):47-74, 2015.
10. Bryan Horling and Victor Lesser. A survey of multi-agent organizational paradigms. Knowl. Eng. Rev., 19(4):281-316, December 2004.
11. Zhan Huang, Rob Alexander, and John Clark. Mutation testing for jason agents. In Engineering Multi-Agent Systems, Volume 8758 of LNCS, pages 309-327. Springer International Publishing, 2014.
12. Meir Kalech. Diagnosis of coordination failures: a matrix-based approach. Auton. Agent Multi-Agent Syst., 24(1):69-103, 2012.
13. Tien-Duy B. Le, Ferdian Thung, and David Lo. Theory and practice, do they match? a case with spectrum-based fault localization. In Proc. of ICSM'13, pages 380-383, Sept 2013.
14. Roberto Micalizio. Action failure recovery via model-based diagnosis and conformant planning. Computational Intelligence, 29(2):233-280, 2013.
15. CuD. Nguyen, Anna Perini, Carole Bernon, Juan Pavón, and John Thangarajah. Testing in multi-agent systems. In AOSE X, Volume 6038 of LNCS, pages 180-190. Springer Berlin Heidelberg, 2011.
16. Lúcio S. Passos, Rui Abreu, and Rosaldo J. F. Rossetti. Sensitivity analysis of spectrum-based fault localisation for multi-agent systems. In Proc. of DX'14, Sep 2014.
17. Lúcio S. Passos, Rosaldo J. F. Rossetti, and Joaquim Gabriel. Advances in fault-tolerant multi-agent systems. In Encyclopedia of Information Science and Technology, 3rd ed., pages 7006-7017. 2015.
18. Lúcio S. Passos, Rosaldo J.F. Rossetti, and Joaquim Gabriel. An agent methodology for processes, the environment, and services. In Advances in Artificial Transportation Systems and Simulation, pages 37-53. Academic Press, Boston, 2015.
19. Eric Platon, Nicolas Sabouret, and Shinichi Honiden. A definition of exceptions in agent-oriented computing. In Proc. of ESAW'06, pages 161-174. Springer-Verlag, 2007.
20. Rosaldo J.F Rossetti, Rafael H. Bordini, Ana L.C Bazzan, Sergio Bampi, Ronghui Liu, and Dirck V. Vliet. Using bdi agents to improve driver modelling in a commuter scenario. Transportation Research Part C: Emerging Technologies, 10(56):373-398, 2002.
21. Martin W. P. Savelsbergh and Marc Sol. The general pickup and delivery problem. Transportation Science, 29(1):17-29, 1995.
22. Friedrich Steimann, Marcus Frenkel, and Rui Abreu. Threats to the validity and value of empirical assessments of the accuracy of coverage-based fault locators. In Proc. of ISSTA'13, pages 314-324. ACM, 2013.
23. Shin Yoo, Xiaoyuan Xie, Fei-Ching Kuo, Tsong Yueh Chen, and Mark Harman. No pot of gold at the end of program spectrum rainbow: Greatest risk evaluation formula does not exist. Technical Report Tech. Rep. RN/14/14, University College London, 2014.
24. Tom Zamir, Roni Stern, and Meir Kalech. Using model-based diagnosis to improve software testing. In Proc. of AAAI'14, 2014.