2023

Conference papers

Raul Sena Ferreira, Joris Guerin, Jeremie Guiochet, Hélène Waeselynck. SENA: Similarity-based Error-checking of Neural Activations. 27th European Conference on Artificial Intelligence - ECAI 2023, Sep 2023, Krakow, Poland. ⟨hal-04212952⟩

Maria Laura Brzezinski Meyer, Hélène Waeselynck, Fernand Cuesta. A Case Study on the "Jungle" Search for Industry-Relevant Regression Testing. 23rd IEEE International Conference on Software Quality, Reliability & Security (QRS 2023), Oct 2023, Chiang Mai, Thailand. ⟨10.1109/QRS60937.2023.00045⟩. ⟨hal-04294958⟩

Luca Vittorio Sartori, Hélène Waeselynck, Jérémie Guiochet. Pairwise Testing Revisited for Structured Data With Constraints. IEEE International Conference on Software Testing, Verification and Validation (ICST 2023), Apr 2023, Dublin, Ireland. ⟨10.1109/ICST57152.2023.00027⟩. ⟨hal-03938378v2⟩

2022

Conference papers

Mohamed El Mostadi, Hélène Waeselynck, Jean-Marc Gabriel. Virtual Test Scenarios for ADAS: Distance to Real Scenarios Matters!. 33nd IEEE Intelligent Vehicles Symposium (IV 2022), Jun 2022, Aachen, Germany. ⟨10.1109/IV51971.2022.9827170⟩. ⟨hal-03770653⟩

Raul Sena Ferreira, Joris Guérin, Jérémie Guiochet, Hélène Waeselynck. SiMOOD: Evolutionary Testing Simulation with Out-Of-Distribution Images. 27th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2022), Nov 2022, Beijing, China. ⟨10.1109/PRDC55274.2022.00021⟩. ⟨hal-03779723⟩

Luca Vittorio Sartori, Jérémie Guiochet, Hélène Waeselynck, Aizar Antonio Berlanga Galvan, Simon Hébert-Vernhes, et al.. Integration of Test Generation Into Simulation-Based Platforms: An Experience Report. 3rd ACM/IEEE International Conference on Automation of Software Test, May 2022, Pittsburgh, United States. ⟨10.1145/3524481.3527236⟩. ⟨hal-03623613⟩

2021

Conference papers

Raul Sena Ferreira, Jean Arlat, Jérémie Guiochet, Hélène Waeselynck. Benchmarking Safety Monitors for Image Classifiers with Machine Learning. 26th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2021), IEEE, Dec 2021, Perth, Australia. ⟨10.1109/PRDC53464.2021.00012⟩. ⟨hal-03362684⟩

Mohamed El Mostadi, Hélène Waeselynck, Jean Marc Gabriel. Seven Technical Issues That May Ruin Your Virtual Tests for ADAS. 32nd IEEE Intelligent Vehicles Symposium, Jul 2021, Nagoya, Japan. ⟨10.1109/IV48863.2021.9575953⟩. ⟨hal-03377931v2⟩

Clément Robert, Jérémie Guiochet, Hélène Waeselynck, Luca Vittorio Sartori. TAF: a tool for diverse and constrained test case generation. 21st IEEE International Conference on Software Quality, Reliability and Security (QRS), Dec 2021, Hanan Island, China. ⟨10.1109/QRS54544.2021.00042⟩. ⟨hal-03435959⟩

2020

Journal articles

Clément C. Robert, Thierry Sotiropoulos, Hélène Waeselynck, Jérémie Guiochet, Simon Vernhes. The virtual lands of Oz: testing an agribot in simulation. Empirical Software Engineering, 2020, 25 (3), pp.2025-2054. ⟨10.1007/s10664-020-09800-3⟩. ⟨hal-02436216⟩

Conference papers

Clément Robert, Jérémie Guiochet, Hélène Waeselynck. Testing a non-deterministic robot in simulation - How many repeated runs ?. The fourth IEEE International Conference on Robotic Computing (IRC 2020), Mar 2020, Taichung, Taiwan. 8p., ⟨10.1109/IRC.2020.00048⟩. ⟨hal-02444350⟩

2018

Journal articles

Mathilde Machin, Jérémie Guiochet, Hélène Waeselynck, Jean-Paul Blanquart, Matthieu Roy, et al.. SMOF - A Safety MOnitoring Framework for Autonomous Systems. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2018, 48 (5), pp.702-715. ⟨10.1109/TSMC.2016.2633291⟩. ⟨hal-01394139⟩

Conference papers

Lola Masson, Jérémie Guiochet, Hélène Waeselynck, Kalou Cabrera, Sofia Cassel, et al.. Tuning permissiveness of active safety monitors for autonomous systems. Nasa Formal Methods, Apr 2018, Newport News, United States. ⟨10.1007/978-3-319-77935-5_23⟩. ⟨hal-01637277v2⟩

Other documents

Radu Babiceanu, Hélène Waeselynck. Emerging high assurance solutions for safe, secure, and reliable software systems. Journal of Software: Evolution and Process, 30 (3), pp.e1950, 2018, ⟨10.1002/smr.1950⟩. ⟨hal-01954953⟩

2017

Journal articles

Jérémie Guiochet, Mathilde Machin, Hélène Waeselynck. Safety-critical advanced robots: A survey. Robotics and Autonomous Systems, 2017, 94, pp.43-52. ⟨10.1016/j.robot.2017.04.004⟩. ⟨hal-01394136⟩

Conference papers

Thierry Sotiropoulos, Hélène Waeselynck, Jérémie Guiochet, Félix Ingrand. Can robot navigation bugs be found in simulation? An exploratory study. 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS2017), Jul 2017, Prague, Czech Republic. 10p. ⟨hal-01534235⟩

Lola Masson, Jérémie Guiochet, Hélène Waeselynck, Augustin Desfosses, Marc Laval. Synthesis of safety rules for active monitoring: application to an airport light measurement robot. IEEE International Conference on Robotic Computing, Apr 2017, Taichung, Taiwan. ⟨10.1109/IRC.2017.11⟩. ⟨hal-01465734⟩

Pierre André, Nicolas Rivière, Hélène Waeselynck. A toolset for mobile systems testing. 11th International Conference on Verification and Evaluation of Computer and Communication Systems (VEcOS 2017), Aug 2017, Montréal, Canada. pp.124-138. ⟨hal-01499518⟩

2016

Conference papers

Lola Masson, Jérémie Guiochet, Hélène Waeselynck. Case Study Report : Safety rules synthesis for an autonomous robot. Fast abstracts at International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Sep 2016, Trondheim, Norway. ⟨hal-01370269⟩

Thierry Sotiropoulos, Jérémie Guiochet, Félix Ingrand, Hélène Waeselynck. Virtual Worlds for Testing Robot Navigation: a Study on the Difficulty Level. 12th European Dependable Computing Conference (EDCC 2016), Sep 2016, Göteborg, Sweden. ⟨hal-01328909⟩

2015

Journal articles

Alexandru-Robert Guduvan, Hélène Waeselynck, Virginie Wiels, Guy Durrieu, Yann Fusero, et al.. Test Languages for In-the-Loop Avionics Tests. Journal of Aerospace Information Systems, 2015, 12 (4), pp.374-391. ⟨10.2514/1.I010151⟩. ⟨hal-01953487⟩

Conference papers

Kalou Cabrera Castillos, Hélène Waeselynck, Virginie Wiels. Show Me New Counterexamples: A Path-Based Approach. 8th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2015), Apr 2015, Graz, Austria. ⟨10.1109/ICST.2015.7102606⟩. ⟨hal-01953299⟩

Thierry Sotiropoulos, Jérémie Guiochet, Félix Ingrand, Hélène Waeselynck. Test de la navigation de systèmes autonomes dans des mondes virtuels. Control Architectures of Robots ( CAR ), Jun 2015, Lyon, France. ⟨hal-01282148⟩

Mathilde Machin, Fanny Dufossé, Jérémie Guiochet, David Powell, Matthieu Roy, et al.. Model-Checking and Game theory for Synthesis of Safety Rules. 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (HASE), Jan 2015, Daytona Beach Shores, United States. pp.36-43, ⟨10.1109/HASE.2015.15⟩. ⟨hal-01164981⟩

Mathilde Machin, Fanny Dufossé, Jérémie Guiochet, David Powell, Matthieu Roy, et al.. Model-checking and Game Theory for the Synthesis of Safety Rules. IEEE International Symposium on High Assurance Systems Engineering (HASE 2015), Jan 2015, Daytona Beach, United States. ⟨hal-01207657⟩

2014

Conference papers

Regina Moraes, Hélène Waeselynck, Jérémie Guiochet. UML-Based Modeling of Robustness Testing. 15th IEEE International Symposium on High Assurance Systems Engineering (HASE2014), Jan 2014, Miami, United States. pp.168-175, ⟨10.1109/HASE.2014.31⟩. ⟨hal-01282159⟩

Hélène Waeselynck, Simon Poulding. Adding Contextual Guidance to the Automated Search for Probabilistic Test Profiles. 7th IEEE International Conference on Software Testing, Verification and Validation (ICST 2014), Mar 2014, Cleveland, United States. ⟨hal-01953483⟩

Mathilde Machin, Fanny Dufossé, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, et al.. Specifying Safety Monitors for Autonomous Systems using Model-checking. International Conference on Computer Safety, Reliability and Security (SafeComp 2014), Sep 2014, Florence, Italy. ⟨hal-01207152⟩

Frédéric Dadeau, Hélène Waeselynck. Les défis du Test Logiciel - Bilan et Perspectives. Journées Nationales du GDR GPL, Jun 2014, Paris, France. ⟨hal-01953503⟩