M. Dastani and J. C. Meyer, Specication and Verication of Multi-agent Systems, chapter Correctness of Multi-Agent Programs: A Hybrid Approach, 2010.

L. A. Dennis and P. Nogueira, What can be learned from failed proofs of non-theorems, 2005.

A. Drogoul, N. Ferrand, and J. Müller, Emergence : l'articulation du local au global, vol.29, p.105135, 2004.

D. N. Lam and K. S. , Automated Interpretation of Agent Behaviour, AOIS, p.115, 2005.

M. Kaufmann and J. Moore, Proof Search Debugging Tools in ACL2, 2008.

D. N. Lam and K. S. Barber, Comprehending agent software, AAMAS, p.586593, 2005.

B. Mermet and G. Simon, GDT4MAS: an extension of the GDT model to specify and to verify MultiAgent Systems, Proc. of AAMAS, p.505512, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00955906

B. Mermet and G. Simon, A new proof system to verify gdt agents, IDC, p.181187, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00956442

S. Miles, M. Winiko, S. Craneeld, C. Nguyen, A. Perini et al., Why testing autonomous agents is hard and what can be done about it, AOSE Technical Forum, 2010.

C. Nguyen, A. Perini, C. Bernon, J. Pavón, and J. Thangarajah, Testing in Multi-Agent Systems, AOSE, p.180190, 2009.

C. Nguyen, A. Perini, and P. Tonella, , 2008.

, Ontology-based test generation for multiagent systems, AAMAS, p.13151320

C. D. Nguyen, A. Perini, and P. Tonella, Goal-oriented testing for MASs, 2010.

, IJAOSE, vol.4, issue.1, p.79109

S. Owre, N. Shankar, and J. Rushby, Pvs: A prototype verication system, 1992.

E. Serrano, J. Gómez-sanz, J. Botía, and J. Pavón, ntelligent data analysis applied to debug complex software systems, Neurocomputing, vol.72, p.27852795, 2009.

A. Tiryaki, S. Öztuna, O. Dikenelli, and R. Erdur, SUNIT: A Unit Testing Framework for Test Driven Development of Multi-Agent Systems, Agent Oriented Software Engineering (AOSE), p.156173, 2006.

G. Vigueras and J. Botía, Tracking Causality by Visualization of Multi-Agent Interactions Using Causality Graphs, PROMAS, p.190204, 2007.

Z. Zhang, J. Thangarajah, and L. Padgham, , 2009.

, Model based testing for agent systems, AA-MAS'09, p.13331334