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. ,
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. ,
Synchronous programming with events and relations: the signal language and its semantics, Science of Computer Programming, vol.16, issue.2, pp.103-149, 1991. ,
The esterel synchronous programming language: Design, semantics, implementation, Sci. Comput. Program, pp.19-21, 1992. ,
URL : https://hal.archives-ouvertes.fr/inria-00075711
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
Modular open robots simulation engine: Morse, IEEE International Conference on Robotics and Automation, pp.46-51, 2011. ,
The synchronous data flow programming language lustre, Proceedings of the IEEE, vol.79, pp.1305-1320, 1991. ,
Deliberation for autonomous robots: A survey, Artificial Intelligence, vol.247, pp.10-44, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01137921
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.
Ontologybased test generation for automated and autonomous driving functions, Information & Software Technology, vol.117, 2020. ,
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
Metamorphic model-based testing of autonomous systems, Proceedings of the 2nd International Workshop on Metamorphic Testing (MET), pp.35-41, 2017. ,
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. ,
Ros: an open-source robot operating system, ICRA Workshop on Open Source Software, vol.3, 2009. ,
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
The virtual lands of oz: testing an agribot in simulation, Empirical Software Engineering (EMSE) ,
URL : https://hal.archives-ouvertes.fr/hal-02436216
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
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
Deeptest: Automated testing of deep-neural-networkdriven autonomous cars, Proceedings of the 40th International Conference on Software Engineering (ICSE 2018), pp.303-314, 2018. ,
Search-based procedural content generation: A taxonomy and survey, IEEE Transactions on Computational Intelligence and AI in Games, vol.3, pp.172-186, 2011. ,