R. Ben-abdessalem, S. Nejati, L. C. Briand, and T. Stifter, Testing advanced driver assistance systems using multi-objective search and neural networks, 31st IEEE/ACM International Conference on Automated Software Engineering (ASE), pp.63-74, 2016.

A. A. Andrews, M. Abdelgawad, and A. Gario, World model for testing urban search and rescue (usar) robots using petri nets, 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD), pp.663-670, 2016.

A. Benveniste, P. L. Guernic, and C. Jacquemot, Synchronous programming with events and relations: the signal language and its semantics, Science of Computer Programming, vol.16, issue.2, pp.103-149, 1991.

G. Berry and G. Gonthier, The esterel synchronous programming language: Design, semantics, implementation, Sci. Comput. Program, pp.19-21, 1992.
URL : https://hal.archives-ouvertes.fr/inria-00075711

J. Borrelly, E. Coste-manière, B. Espiau, K. Kapellos, R. Pissard-gibollet et al., The orccad architecture, The International Journal of Robotics Research, vol.17, issue.4, pp.338-359, 1998.
URL : https://hal.archives-ouvertes.fr/hal-00930119

G. Echeverria, N. Lassabe, A. Degroote, and S. Lemaignan, Modular open robots simulation engine: Morse, IEEE International Conference on Robotics and Automation, pp.46-51, 2011.

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous data flow programming language lustre, Proceedings of the IEEE, vol.79, pp.1305-1320, 1991.

F. Ingrand and M. Ghallab, Deliberation for autonomous robots: A survey, Artificial Intelligence, vol.247, pp.10-44, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01137921

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 2004), vol.3, pp.2149-2154, 2004.

Y. Li, J. Tao, and F. Wotawa, Ontologybased test generation for automated and autonomous driving functions, Information & Software Technology, vol.117, 2020.

E. Marchand, E. Rutten, H. Marchand, and F. Chaumette, Specifying and verifying active vision-based robotic systems with the signal environment, The International Journal of Robotics Research, vol.17, issue.4, pp.418-432, 1998.
URL : https://hal.archives-ouvertes.fr/inria-00352559

L. Mikael, P. Adam, M. Gudjon, and C. Schulze, Metamorphic model-based testing of autonomous systems, Proceedings of the 2nd International Workshop on Metamorphic Testing (MET), pp.35-41, 2017.

D. Cu, A. Nguyen, P. Perini, S. Tonella, M. Miles et al., Evolutionary testing of autonomous software agents, Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), vol.1, pp.521-528, 2009.

M. Quigley, K. Conley, B. Gerkey, J. Faust, T. Foote et al., Ros: an open-source robot operating system, ICRA Workshop on Open Source Software, vol.3, 2009.

C. Reymann, M. Foughali, and S. Lacroix, Repeatable decentralized simulations for cyberphysical systems, International Conference on Software Quality, Reliability and Security (QRS 2019), pp.240-247, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02156842

C. Robert, T. Sotiropoulos, H. Waeselynck, J. Guiochet, and S. Verhnes, The virtual lands of oz: testing an agribot in simulation, Empirical Software Engineering (EMSE)
URL : https://hal.archives-ouvertes.fr/hal-02436216

T. Sotiropoulos, H. Waeselynck, J. Guiochet, and F. Ingrand, Can robot navigation bugs be found in simulation? an exploratory study, 2017 IEEE International Conference on Software Quality, Reliability and Security, pp.150-159, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01534235

T. Sotiropoulos, J. Guiochet, F. Ingrand, and H. Weaselynck, Virtual worlds for testing robot navigation: a study on the difficulty level, IEEE 12th European on Dependable Computing Conference (EDCC 2016), pp.153-160, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01328909

Y. Tian, K. Pei, S. Jana, and B. Ray, Deeptest: Automated testing of deep-neural-networkdriven autonomous cars, Proceedings of the 40th International Conference on Software Engineering (ICSE 2018), pp.303-314, 2018.

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, pp.172-186, 2011.