Hélène Waeselynck

Publication Activity (10 Years)

Years Active: 1991-2023
Publications (10 Years): 24

Top Topics

Autonomous Systems

Finding Relevant

Regression Testing

Test Generation

Top Venues

Publications

Luca Vittorio Sartori, Hélène Waeselynck, Jérémie Guiochet
Pairwise Testing Revisited for Structured Data With Constraints. ICST (2023)
Raul Sena Ferreira, Joris Guérin, Jérémie Guiochet, Hélène Waeselynck
SENA: Similarity-Based Error-Checking of Neural Activations. ECAI (2023)
Maria Laura Brzezinski Meyer, Hélène Waeselynck, Fernand Cuesta
A Case Study on the "Jungle" Search for Industry-Relevant Regression Testing. QRS (2023)
Mohamed El Mostadi, Hélène Waeselynck, Jean-Marc Gabriel
Virtual Test Scenarios for ADAS: Distance to Real Scenarios Matters! IV (2022)
Raul Sena Ferreira, Joris Guérin, Jérémie Guiochet, Hélène Waeselynck
SiMOOD: Evolutionary Testing Simulation With Out-Of-Distribution Images. PRDC (2022)
Luca Vittorio Sartori, Jérémie Guiochet, Hélène Waeselynck, Aizar Antonio Berlanga Galvan, Simon Hébert-Vernhes, Magnus Albert
Integration of Test Generation Into Simulation-Based Platforms: An Experience Report. AST@ICSE (2022)
Raul Sena Ferreira, Jean Arlat, Jérémie Guiochet, Hélène Waeselynck
Benchmarking Safety Monitors for Image Classifiers with Machine Learning. CoRR (2021)
Mohamed El Mostadi, Hélène Waeselynck, Jean-Marc Gabriel
Seven Technical Issues That May Ruin Your Virtual Tests for ADAS. IV (2021)
Raul Sena Ferreira, Jean Arlat, Jérémie Guiochet, Hélène Waeselynck
Benchmarking Safety Monitors for Image Classifiers with Machine Learning. PRDC (2021)
Hélène Waeselynck, Raul Sena Ferreira, Luca Vittorio Sartori
Workshop on Safer Autonomous Systems: Special theme: safety-aware design and validation of autonomous systems. DSN Workshops (2021)
Clément Robert, Jérémie Guiochet, Hélène Waeselynck, Luca Vittorio Sartori
TAF: a Tool for Diverse and Constrained Test Case Generation. QRS (2021)
Clément Robert, Thierry Sotiropoulos, Hélène Waeselynck, Jérémie Guiochet, Simon Vernhes
The virtual lands of Oz: testing an agribot in simulation. Empir. Softw. Eng. 25 (3) (2020)
Clément Robert, Jérémie Guiochet, Hélène Waeselynck
Testing a non-deterministic robot in simulation - How many repeated runs ? IRC (2020)
Mathilde Machin, Jérémie Guiochet, Hélène Waeselynck, Jean-Paul Blanquart, Matthieu Roy, Lola Masson
SMOF: A Safety Monitoring Framework for Autonomous Systems. IEEE Trans. Syst. Man Cybern. Syst. 48 (5) (2018)
Radu F. Babiceanu, Hélène Waeselynck
Emerging high assurance solutions for safe, secure, and reliable software systems. J. Softw. Evol. Process. 30 (3) (2018)
Lola Masson, Jérémie Guiochet, Hélène Waeselynck, Kalou Cabrera, Sofia Cassel, Martin Törngren
Tuning Permissiveness of Active Safety Monitors for Autonomous Systems. NFM (2018)
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. IRC (2017)
Thierry Sotiropoulos, Hélène Waeselynck, Jérémie Guiochet, Félix Ingrand
Can Robot Navigation Bugs Be Found in Simulation? An Exploratory Study. QRS (2017)
Pierre André, Nicolas Rivière, Hélène Waeselynck
A Toolset for Mobile Systems Testing. VECoS (2017)
Jérémie Guiochet, Mathilde Machin, Hélène Waeselynck
Safety-critical advanced robots: A survey. Robotics Auton. Syst. 94 (2017)
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. EDCC (2016)
Kalou Cabrera Castillos, Hélène Waeselynck, Virginie Wiels
Show Me New Counterexamples: A Path-Based Approach. ICST (2015)
Mathilde Machin, Fanny Dufossé, Jérémie Guiochet, David Powell, Matthieu Roy, Hélène Waeselynck
Model-Checking and Game theory for Synthesis of Safety Rules. HASE (2015)
Alexandru-Robert Guduvan, Hélène Waeselynck, Virginie Wiels, Guy Durrieu, Yann Fusero, Michel Schieber
Test Languages for In-the-Loop Avionics Tests. J. Aerosp. Inf. Syst. 12 (4) (2015)
Simon M. Poulding, Hélène Waeselynck
Adding Contextual Guidance to the Automated Search for Probabilistic Test Profiles. ICST (2014)
Regina Moraes, Hélène Waeselynck, Jérémie Guiochet
UML-Based Modeling of Robustness Testing. HASE (2014)
Mathilde Machin, Fanny Dufossé, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Hélène Waeselynck
Specifying Safety Monitors for Autonomous Systems Using Model-Checking. SAFECOMP (2014)
Alexandru-Robert Guduvan, Hélène Waeselynck, Virginie Wiels, Guy Durrieu, Yann Fusero, Michel Schieber
STELAE - A model-driven test development environment for avionics systems. ISORC (2013)
Pierre André, Hélène Waeselynck, Nicolas Rivière
A UML-based environment for test scenarios in mobile settings. CITS (2013)
Jimmy Lauret, Jean-Charles Fabre, Hélène Waeselynck
Fine-Grained Implementation of Fault Tolerance Mechanisms with AOP: To What Extent? SAFECOMP (2013)
Pierre André, Nicolas Rivière, Hélène Waeselynck
GraphSeq Revisited: More Efficient Search for Patterns in Mobility Traces. EWDC (2013)
Alexandru-Robert Guduvan, Hélène Waeselynck, Virginie Wiels, Guy Durrieu, Yann Fusero, Michel Schieber
A Meta-model for Tests of Avionics Embedded Systems. MODELSWARD (2013)
Jimmy Lauret, Hélène Waeselynck, Jean-Charles Fabre
Detection of Interferences in Aspect-Oriented Programs Using Executable Assertions. ISSRE Workshops (2012)
Jimmy Lauret, Jean-Charles Fabre, Hélène Waeselynck
Detecting interferences in aspect oriented programs. EWDC (2011)
Zoltán Micskei, Hélène Waeselynck
The many meanings of UML 2 Sequence Diagrams: a survey. Softw. Syst. Model. 10 (4) (2011)
Simon M. Poulding, John A. Clark, Hélène Waeselynck
A Principled Evaluation of the Effect of Directed Mutation on Search-Based Statistical Testing. ICST Workshops (2011)
Hélène Waeselynck, Zoltán Micskei, Nicolas Rivière, Áron Hamvas, Irina Nitu
TERMOS: A Formal Language for Scenarios in Mobile Computing Systems. MobiQuitous (2010)
Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels
Paths to Property Violation: A Structural Approach for Analyzing Counter-Examples. HASE (2010)
Minh Duc Nguyen, Hélène Waeselynck, Nicolas Rivière
GraphSeq: A Graph Matching Tool for the Extraction of Mobility Patterns. ICST (2010)
Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels
Model checking flight control systems: The Airbus experience. ICSE Companion (2009)
Minh Duc Nguyen, Hélène Waeselynck, Nicolas Rivière
Testing mobile computing applications: toward a scenario language and tools. WODA (2008)
Guy Durrieu, Hélène Waeselynck, Virginie Wiels
LETO - A Lustre-Based Test Oracle for Airbus Critical Systems. FMICS (2008)
Hélène Waeselynck, Zoltán Micskei, Minh Duc Nguyen, Nicolas Rivière
Mobile Systems from a Validation Perspective: a Case Study. ISPDC (2007)
Hélène Waeselynck, Pascale Thévenod-Fosse, Olfa Abdellatif-Kaddour
Simulated annealing applied to test generation: landscape characterization and stopping criteria. Empir. Softw. Eng. 12 (1) (2007)
Philippe David, Hélène Waeselynck, Yves Crouzet
Open source software in critical systems: Motivation and challenges. IFIP Congress Topical Sessions (2004)
Guillaume Lussier, Hélène Waeselynck, Karim Guennoun
Proof-Guided Testing: An Experimental Study. COMPSAC (2004)
Guillaume Lussier, Hélène Waeselynck
Deriving Test Sets from Partial Proofs. ISSRE (2004)
Olfa Abdellatif-Kaddour, Pascale Thévenod-Fosse, Hélène Waeselynck
Property-Oriented Testing: A Strategy for Exploring Dangerous Scenarios. SAC (2003)
Guillaume Lussier, Hélène Waeselynck
Informal Proof Analysis Towards Testing Enhancement. ISSRE (2002)
Yvan Labiche, Pascale Thévenod-Fosse, Hélène Waeselynck, M.-H. Durand
Testing levels for object-oriented software. ICSE (2000)
Hélène Waeselynck, Pascale Thévenod-Fosse
A Case Study in Statistical Testing of Reusable Concurrent Objects. EDCC (1999)
Salimeh Behnia, Hélène Waeselynck
Test Criteria Definition for B Models. World Congress on Formal Methods (1999)
Hélène Waeselynck, Salimeh Behnia
B Model Animation for External Verification. ICFEM (1998)
Pascale Thévenod-Fosse, Hélène Waeselynck
Towards a Statistical Approach to Testing Object-Oriented Programs. FTCS (1997)
Hélène Waeselynck
Specification in B: An Introduction Using the B Toolkit, by Kevin Lano and Howard Haughton, Imperial College Press, distributed by World Scientific Publishing, 1996 (Book Review). Softw. Test. Verification Reliab. 7 (2) (1997)
Hélène Waeselynck, Jean-Louis Boulanger
The role of testing in the B formal development process. ISSRE (1995)
M. El Koursi, B. Letrung, Hélène Waeselynck, François Baranowski
Safety Case: Structure and Role. SAFECOMP (1995)
Hélène Waeselynck, Dietmar Pfahl
System Dynamics Applied to the Modelling of Software Projects. Softw. Concepts Tools 15 (4) (1994)
Pascale Thévenod-Fosse, Hélène Waeselynck
STATEMATE Applied to Statistical Software Testing. ISSTA (1993)
Pascale Thévenod-Fosse, Hélène Waeselynck, Yves Crouzet
An Experimental Study on Software Structural Testing: Deterministic versus Random Input Generation. FTCS (1991)
Pascale Thévenod-Fosse, Hélène Waeselynck
An Investigation of Statistical Software Testing. Softw. Test. Verification Reliab. 1 (2) (1991)