| 2024 | ISSTA | Exploration-Driven Reinforcement Learning for Avionic System Fault Detection (Experience Paper). | Paul-Antoine Le Tolguenec, Emmanuel Rachelson, Yann Besse, Florent Teichteil-Knigsbuch, Nicolas Schneider, Hlne Waeselynck, Dennis Wilson |
| 2023 | ECAI | SENA: Similarity-Based Error-Checking of Neural Activations. | Raul Sena Ferreira, Joris Gurin, Jrmie Guiochet, Hlne Waeselynck |
| 2023 | ICST | Pairwise Testing Revisited for Structured Data With Constraints. | Luca Vittorio Sartori, Hlne Waeselynck, Jrmie Guiochet |
| 2023 | QRS | A Case Study on the "Jungle" Search for Industry-Relevant Regression Testing. | Maria Laura Brzezinski Meyer, Hlne Waeselynck, Fernand Cuesta |
| 2022 | AST | Integration of Test Generation Into Simulation-Based Platforms: An Experience Report. | Luca Vittorio Sartori, Jrmie Guiochet, Hlne Waeselynck, Aizar Antonio Berlanga Galvan, Simon Hbert-Vernhes, Magnus Albert |
| 2022 | PRDC | SiMOOD: Evolutionary Testing Simulation With Out-Of-Distribution Images. | Raul Sena Ferreira, Joris Gurin, Jrmie Guiochet, Hlne Waeselynck |
| 2021 | DSN | Workshop on Safer Autonomous Systems: Special theme: safety-aware design and validation of autonomous systems. | Hlne Waeselynck, Raul Sena Ferreira, Luca Vittorio Sartori |
| 2021 | PRDC | Benchmarking Safety Monitors for Image Classifiers with Machine Learning. | Raul Sena Ferreira, Jean Arlat, Jrmie Guiochet, Hlne Waeselynck |
| 2021 | QRS | TAF: a Tool for Diverse and Constrained Test Case Generation. | Clment Robert, Jrmie Guiochet, Hlne Waeselynck, Luca Vittorio Sartori |
| 2017 | QRS | Can Robot Navigation Bugs Be Found in Simulation? An Exploratory Study. | Thierry Sotiropoulos, Hlne Waeselynck, Jrmie Guiochet, Flix Ingrand |
| 2017 | VECoS | A Toolset for Mobile Systems Testing. | Pierre Andr, Nicolas Rivire, Hlne Waeselynck |
| 2016 | EDCC | Virtual Worlds for Testing Robot Navigation: A Study on the Difficulty Level. | Thierry Sotiropoulos, Jrmie Guiochet, Flix Ingrand, Hlne Waeselynck |
| 2015 | ICST | Show Me New Counterexamples: A Path-Based Approach. | Kalou Cabrera Castillos, Hlne Waeselynck, Virginie Wiels |
| 2014 | ICST | Adding Contextual Guidance to the Automated Search for Probabilistic Test Profiles. | Simon M. Poulding, Hlne Waeselynck |
| 2014 | SAFECOMP | Specifying Safety Monitors for Autonomous Systems Using Model-Checking. | Mathilde Machin, Fanny Dufoss, Jean-Paul Blanquart, Jrmie Guiochet, David Powell, Hlne Waeselynck |
| 2013 | ISORC | STELAE - A model-driven test development environment for avionics systems. | Alexandru-Robert Guduvan, Hlne Waeselynck, Virginie Wiels, Guy Durrieu, Yann Fusero, Michel Schieber |
| 2013 | MODELSWARD | A Meta-model for Tests of Avionics Embedded Systems. | Alexandru-Robert Guduvan, Hlne Waeselynck, Virginie Wiels, Guy Durrieu, Yann Fusero, Michel Schieber |
| 2013 | SAFECOMP | Fine-Grained Implementation of Fault Tolerance Mechanisms with AOP: To What Extent? | Jimmy Lauret, Jean-Charles Fabre, Hlne Waeselynck |
| 2012 | ISSRE | Detection of Interferences in Aspect-Oriented Programs Using Executable Assertions. | Jimmy Lauret, Hlne Waeselynck, Jean-Charles Fabre |
| 2011 | ICST | A Principled Evaluation of the Effect of Directed Mutation on Search-Based Statistical Testing. | Simon M. Poulding, John A. Clark, Hlne Waeselynck |
| 2010 | ICST | GraphSeq: A Graph Matching Tool for the Extraction of Mobility Patterns. | Minh Duc Nguyen, Hlne Waeselynck, Nicolas Rivire |
| 2010 | Mobiquitous | TERMOS: A Formal Language for Scenarios in Mobile Computing Systems. | Hlne Waeselynck, Zoltn Micskei, Nicolas Rivire, ron Hamvas, Irina Nitu |
| 2009 | ICSE | Model checking flight control systems: The Airbus experience. | Thomas Bochot, Pierre Virelizier, Hlne Waeselynck, Virginie Wiels |
| 2008 | FMICS | LETO - A Lustre-Based Test Oracle for Airbus Critical Systems. | Guy Durrieu, Hlne Waeselynck, Virginie Wiels |
| 2008 | ISSTA | Testing mobile computing applications: toward a scenario language and tools. | Minh Duc Nguyen, Hlne Waeselynck, Nicolas Rivire |
| 2007 | ISPDC | Mobile Systems from a Validation Perspective: a Case Study. | Hlne Waeselynck, Zoltn Micskei, Minh Duc Nguyen, Nicolas Rivire |
| 2004 | COMPSAC | Proof-Guided Testing: An Experimental Study. | Guillaume Lussier, Hlne Waeselynck, Karim Guennoun |
| 2004 | ISSRE | Deriving Test Sets from Partial Proofs. | Guillaume Lussier, Hlne Waeselynck |
| 2003 | SAC | Property-Oriented Testing: A Strategy for Exploring Dangerous Scenarios. | Olfa Abdellatif-Kaddour, Pascale Thvenod-Fosse, Hlne Waeselynck |
| 2002 | ISSRE | Informal Proof Analysis Towards Testing Enhancement. | Guillaume Lussier, Hlne Waeselynck |
| 2000 | ICSE | Testing levels for object-oriented software. | Yvan Labiche, Pascale Thvenod-Fosse, Hlne Waeselynck, M.-H. Durand |
| 1999 | EDCC | A Case Study in Statistical Testing of Reusable Concurrent Objects. | Hlne Waeselynck, Pascale Thvenod-Fosse |
| 1999 | FM | Test Criteria Definition for B Models. | Salimeh Behnia, Hlne Waeselynck |
| 1998 | ICFEM | B Model Animation for External Verification. | Hlne Waeselynck, Salimeh Behnia |
| 1995 | ISSRE | The role of testing in the B formal development process. | Hlne Waeselynck, Jean-Louis Boulanger |
| 1995 | SAFECOMP | Safety Case: Structure and Role. | M. El Koursi, B. Letrung, Hlne Waeselynck, Franois Baranowski |
| 1993 | ISSTA | STATEMATE Applied to Statistical Software Testing. | Pascale Thvenod-Fosse, Hlne Waeselynck |