J. Camara and R. D. Lemos, Evaluation of resilience in self-adaptive systems using probabilistic model-checking, 2012 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), pp.53-62, 2012.
DOI : 10.1109/SEAMS.2012.6224391

B. Eberhardinger, J. P. Steghöfer, F. Nafz, and W. Reif, Model-driven synthesis of monitoring infrastructure for reliable adaptive multi-agent systems, 2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE), pp.21-30, 2013.
DOI : 10.1109/ISSRE.2013.6698901

Y. Falcone, M. Jaber, T. H. Nguyen, M. Bozga, and S. Bensalem, Runtime Verification of Component-Based Systems, Proc. 9 th Int. Conf. Software Engineering and Formal Methods (SEFM'11 No. 7041 in Lect. Notes Comp. Sci, pp.204-220, 2011.
DOI : 10.1007/978-3-642-16901-4_29
URL : https://hal.archives-ouvertes.fr/hal-00642969

A. Filieri, C. Ghezzi, and G. Tamburrelli, A formal approach to adaptive software: continuous assurance of non-functional requirements, Formal Aspects of Computing, vol.6, issue.1, pp.163-186, 2012.
DOI : 10.1007/s00165-011-0207-2

E. M. Fredericks, A. J. Ramirez, and B. H. Cheng, Towards run-time testing of dynamic adaptive systems, 2013 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), pp.169-174, 2013.
DOI : 10.1109/SEAMS.2013.6595504

M. Güdemann, F. Nafz, F. Ortmeier, H. Seebach, and W. Reif, A Specification and Construction Paradigm for Organic Computing Systems, 2008 Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, pp.233-242, 2008.
DOI : 10.1109/SASO.2008.66

M. Leucker and C. Schallhart, A brief account of runtime verification, The Journal of Logic and Algebraic Programming, vol.78, issue.5, pp.293-303, 2009.
DOI : 10.1016/j.jlap.2008.08.004

C. D. Nguyen, Testing Techniques for Software Agents, 2009.

L. Padgham, J. Thangarajah, Z. Zhang, and T. Miller, Model-Based Test Oracle Generation for Automated Unit Testing of Agent Systems, IEEE Transactions on Software Engineering, vol.39, issue.9, pp.1230-1244, 2013.
DOI : 10.1109/TSE.2013.10

A. J. Ramirez, A. C. Jensen, B. H. Cheng, and D. B. Knoester, Automatically exploring how uncertainty impacts behavior of dynamically adaptive systems, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), pp.568-571, 2011.
DOI : 10.1109/ASE.2011.6100127

F. Wotawa, Adaptive Autonomous Systems ??? From the System???s Architecture to Testing, Leveraging Applications of Formal Methods, Verification, and Validation, pp.76-90, 2012.
DOI : 10.1007/978-3-642-34781-8_6

Z. Zhang, J. Thangarajah, and L. Padgham, Model Based Testing for Agent Systems, Proc. 8 th Int. Conf. on Autonomous Agents and Multiagent Systems, pp.1333-1334, 2009.
DOI : 10.1109/32.605761