D. Cook, A. Vardy, and R. Lewis, A survey of AUV and robot simulators for multi-vehicle operations, 2014 IEEE/OES Autonomous Underwater Vehicles (AUV), pp.1-8, 2014.
DOI : 10.1109/AUV.2014.7054411

N. Koenig and A. Howard, Design and use paradigms for gazebo, an open-source multi-robot simulator, 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (IEEE Cat. No.04CH37566), pp.2149-2154, 2004.
DOI : 10.1109/IROS.2004.1389727
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.304.8999

G. Echeverria, N. Lassabe, A. Degroote, and S. Lemaignan, Modular open robots simulation engine: MORSE, 2011 IEEE International Conference on Robotics and Automation, pp.46-51, 2011.
DOI : 10.1109/ICRA.2011.5980252
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.469.4292

T. Sotiropoulos, J. Guiochet, F. Ingrand, and H. Weaselynck, Virtual Worlds for Testing Robot Navigation: A Study on the Difficulty Level, 2016 12th European Dependable Computing Conference (EDCC), pp.153-160, 2016.
DOI : 10.1109/EDCC.2016.14
URL : https://hal.archives-ouvertes.fr/hal-01328909

Z. Micskei, Z. Szatmári, J. Oláh, and I. Majzik, A Concept for Testing Robustness and Safety of the Context-Aware Behaviour of Autonomous Systems, Agent and Multi-Agent Systems. Technologies and Applications, pp.504-513, 2012.
DOI : 10.1007/978-3-642-30947-2_55

A. Andrews, M. Abdelgawad, and A. Gario, World Model for Testing Autonomous Systems Using Petri Nets, 2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE), pp.65-69, 2016.
DOI : 10.1109/HASE.2016.11

C. Mühlbacher, S. Gspandl, M. Reip, and G. Steinbauer, Improving dependability of industrial transport robots using model-based techniques, 2016 IEEE International Conference on Robotics and Automation (ICRA), pp.3133-3140, 2016.
DOI : 10.1109/ICRA.2016.7487480

X. Zou, R. Alexander, and J. Mcdermid, Safety Validation of Sense and Avoid Algorithms Using Simulation and Evolutionary Search, Computer Safety, Reliability, and Security, pp.33-48, 2014.
DOI : 10.1007/978-3-319-10506-2_3

X. Zou, R. Alexander, and J. Mcdermid, On the Validation of a UAV Collision Avoidance System Developed by Model-Based Optimization: Challenges and a Tentative Partial Solution, 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W), pp.192-199, 2016.
DOI : 10.1109/DSN-W.2016.12

J. Arnold and R. Alexander, Testing Autonomous Robot Control Software Using Procedural Content Generation, Computer Safety, Reliability, and Security, pp.33-44, 2013.
DOI : 10.1007/978-3-642-40793-2_4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.649.4511

J. Togelius, G. N. Yannakakis, K. O. Stanley, and C. Browne, Search-Based Procedural Content Generation: A Taxonomy and Survey, IEEE Transactions on Computational Intelligence and AI in Games, vol.3, issue.3, pp.172-186, 2011.
DOI : 10.1109/TCIAIG.2011.2148116
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.220.9554

N. Tomatis, G. Terrien, R. Piguet, D. Burnier, S. Bouabdallah et al., Designing a secure and robust mobile interacting robot for the long term, 2003 IEEE International Conference on Robotics and Automation (Cat. No.03CH37422), pp.4246-4251, 2003.
DOI : 10.1109/ROBOT.2003.1242256

G. Steinbauer, A survey about faults of robots used in robocup Robocup: 10 years of achievements and future challenges, RoboCup Robot Soccer World Cup XVI, pp.344-355, 2007.

G. Jin, L. Song, X. Shi, J. Scherpelz, and S. Lu, Understanding and detecting real-world performance bugs, ACM SIGPLAN Notices, vol.47, issue.6, pp.77-88, 2012.
DOI : 10.1145/2345156.2254075
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.7702

I. Abal, C. Brabrand, and A. Wasowski, 42 variability bugs in the linux kernel, Proceedings of the 29th ACM/IEEE international conference on Automated software engineering, ASE '14, pp.421-432, 2014.
DOI : 10.1145/2642937.2642990

D. G. Cavezza, R. Pietrantuono, J. Alonso, S. Russo, and K. S. Trivedi, Reproducibility of Environment-Dependent Software Failures: An Experience Report, 2014 IEEE 25th International Symposium on Software Reliability Engineering, pp.267-276, 2014.
DOI : 10.1109/ISSRE.2014.19

T. Nakamura, L. Hochstein, and V. R. Basili, Identifying domainspecific defect classes using inspections and change history, Proceedings of the ACM/IEEE international symposium on Empirical software engineering, pp.346-355, 2006.
DOI : 10.1145/1159733.1159785
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.124.4633

J. J. Biesiadecki and M. W. Maimone, The Mars Exploration Rover Surface Mobility Flight Software: Driving Ambition, 2006 IEEE Aerospace Conference, p.15, 2006.
DOI : 10.1109/AERO.2006.1655723

D. Bonnafous, S. Lacroix, and T. Siméon, Motion generation for a rover on rough terrains, Proceedings 2001 IEEE/RSJ International Conference on Intelligent Robots and Systems. Expanding the Societal Role of Robotics in the the Next Millennium (Cat. No.01CH37180), pp.784-789, 2001.
DOI : 10.1109/IROS.2001.976264

A. Mallet, C. Pasteur, M. Herrb, S. Lemaignan, and F. Ingrand, GenoM3: Building middleware-independent robotic components, 2010 IEEE International Conference on Robotics and Automation, pp.4627-4632, 2010.
DOI : 10.1109/ROBOT.2010.5509539
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.457.6615

R. Chillarege, I. S. Bhandari, J. K. Chaar, M. J. Halliday, D. S. Moebus et al., Orthogonal defect classification-a concept for in-process measurements, IEEE Transactions on Software Engineering, vol.18, issue.11, pp.943-956, 1992.
DOI : 10.1109/32.177364

M. D. Bond, N. Nethercote, S. W. Kent, S. Z. Guyer, and K. S. Mckinley, Tracking bad apples: reporting the origin of null and undefined value errors, ACM SIGPLAN Notices, pp.405-422, 2007.

R. Alexander, H. Hawkins, and D. Rae, Situation coverage?a coverage criterion for testing autonomous robots, tech. rep, 2015.