Hélène Waeselynck

According to our database, Hélène Waeselynck authored at least 62 papers between 1991 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Exploration-Driven Reinforcement Learning for Avionic System Fault Detection (Experience Paper).

Paul-Antoine Le Tolguenec, Emmanuel Rachelson, Yann Besse, Florent Teichteil-Königsbuch, Nicolas Schneider, Hélène Waeselynck, Dennis Wilson

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

2023

A Case Study on the "Jungle" Search for Industry-Relevant Regression Testing.

Maria Laura Brzezinski Meyer, Hélène Waeselynck, Fernand Cuesta

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

Pairwise Testing Revisited for Structured Data With Constraints.

Luca Vittorio Sartori, Hélène Waeselynck, Jérémie Guiochet

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2023

SENA: Similarity-Based Error-Checking of Neural Activations.

Raul Sena Ferreira, Joris Guérin, Jérémie Guiochet, Hélène Waeselynck

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

2022

SiMOOD: Evolutionary Testing Simulation With Out-Of-Distribution Images.

Raul Sena Ferreira, Joris Guérin, Jérémie Guiochet, Hélène Waeselynck

Proceedings of the 27th IEEE Pacific Rim International Symposium on Dependable Computing, 2022

Virtual Test Scenarios for ADAS: Distance to Real Scenarios Matters!

Mohamed El Mostadi, Hélène Waeselynck, Jean-Marc Gabriel

Proceedings of the 2022 IEEE Intelligent Vehicles Symposium, 2022

Integration of Test Generation Into Simulation-Based Platforms: An Experience Report.

Luca Vittorio Sartori, Jérémie Guiochet, Hélène Waeselynck, Aizar Antonio Berlanga Galvan, Simon Hébert-Vernhes, Magnus Albert

Proceedings of the IEEE/ACM International Conference on Automation of Software Test, 2022

2021

TAF: a Tool for Diverse and Constrained Test Case Generation.

Clément Robert, Jérémie Guiochet, Hélène Waeselynck, Luca Vittorio Sartori

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Benchmarking Safety Monitors for Image Classifiers with Machine Learning.

Raul Sena Ferreira, Jean Arlat, Jérémie Guiochet, Hélène Waeselynck

Proceedings of the 26th IEEE Pacific Rim International Symposium on Dependable Computing, 2021

Seven Technical Issues That May Ruin Your Virtual Tests for ADAS.

Mohamed El Mostadi, Hélène Waeselynck, Jean-Marc Gabriel

Proceedings of the IEEE Intelligent Vehicles Symposium, 2021

Workshop on Safer Autonomous Systems: Special theme: safety-aware design and validation of autonomous systems.

Hélène Waeselynck, Raul Sena Ferreira, Luca Vittorio Sartori

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2021

2020

The virtual lands of Oz: testing an agribot in simulation.

Clément Robert, Thierry Sotiropoulos, Hélène Waeselynck, Jérémie Guiochet, Simon Vernhes

Empir. Softw. Eng., 2020

Testing a non-deterministic robot in simulation - How many repeated runs ?

Clément Robert, Jérémie Guiochet, Hélène Waeselynck

Proceedings of the Fourth IEEE International Conference on Robotic Computing, 2020

2018

SMOF: A Safety Monitoring Framework for Autonomous Systems.

Mathilde Machin, Jérémie Guiochet, Hélène Waeselynck, Jean-Paul Blanquart, Matthieu Roy, Lola Masson

IEEE Trans. Syst. Man Cybern. Syst., 2018

Emerging high assurance solutions for safe, secure, and reliable software systems.

Radu F. Babiceanu, Hélène Waeselynck

J. Softw. Evol. Process., 2018

Tuning Permissiveness of Active Safety Monitors for Autonomous Systems.

Lola Masson, Jérémie Guiochet, Hélène Waeselynck, Kalou Cabrera, Sofia Cassel, Martin Törngren

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

2017

Safety-critical advanced robots: A survey.

Jérémie Guiochet, Mathilde Machin, Hélène Waeselynck

Robotics Auton. Syst., 2017

A Toolset for Mobile Systems Testing.

Pierre André, Nicolas Rivière, Hélène Waeselynck

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2017

Can Robot Navigation Bugs Be Found in Simulation? An Exploratory Study.

Thierry Sotiropoulos, Hélène Waeselynck, Jérémie Guiochet, Félix Ingrand

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Synthesis of Safety Rules for Active Monitoring: Application to an Airport Light Measurement Robot.

Lola Masson, Jérémie Guiochet, Hélène Waeselynck, Augustin Desfosses, Marc Laval

Proceedings of the First IEEE International Conference on Robotic Computing, 2017

2016

Virtual Worlds for Testing Robot Navigation: A Study on the Difficulty Level.

Thierry Sotiropoulos, Jérémie Guiochet, Félix Ingrand, Hélène Waeselynck

Proceedings of the 12th European Dependable Computing Conference, 2016

2015

Test Languages for In-the-Loop Avionics Tests.

Alexandru-Robert Guduvan, Hélène Waeselynck, Virginie Wiels, Guy Durrieu, Yann Fusero, Michel Schieber

J. Aerosp. Inf. Syst., 2015

Show Me New Counterexamples: A Path-Based Approach.

Kalou Cabrera Castillos, Hélène Waeselynck, Virginie Wiels

Proceedings of the 8th IEEE International Conference on Software Testing, 2015

Model-Checking and Game theory for Synthesis of Safety Rules.

Mathilde Machin, Fanny Dufossé, Jérémie Guiochet, David Powell, Matthieu Roy, Hélène Waeselynck

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

2014

Specifying Safety Monitors for Autonomous Systems Using Model-Checking.

Mathilde Machin, Fanny Dufossé, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Hélène Waeselynck

Proceedings of the Computer Safety, Reliability, and Security, 2014

Adding Contextual Guidance to the Automated Search for Probabilistic Test Profiles.

Simon M. Poulding, Hélène Waeselynck

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

UML-Based Modeling of Robustness Testing.

Regina Moraes, Hélène Waeselynck, Jérémie Guiochet

Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014

2013

Fine-Grained Implementation of Fault Tolerance Mechanisms with AOP: To What Extent?

Jimmy Lauret, Jean-Charles Fabre, Hélène Waeselynck

Proceedings of the Computer Safety, Reliability, and Security, 2013

A Meta-model for Tests of Avionics Embedded Systems.

Alexandru-Robert Guduvan, Hélène Waeselynck, Virginie Wiels, Guy Durrieu, Yann Fusero, Michel Schieber

Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013

STELAE - A model-driven test development environment for avionics systems.

Alexandru-Robert Guduvan, Hélène Waeselynck, Virginie Wiels, Guy Durrieu, Yann Fusero, Michel Schieber

Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013

GraphSeq Revisited: More Efficient Search for Patterns in Mobility Traces.

Pierre André, Nicolas Rivière, Hélène Waeselynck

Proceedings of the Dependable Computing - 14th European Workshop, 2013

A UML-based environment for test scenarios in mobile settings.

Pierre André, Hélène Waeselynck, Nicolas Rivière

Proceedings of the International Conference on Computer, 2013

2012

Detection of Interferences in Aspect-Oriented Programs Using Executable Assertions.

Jimmy Lauret, Hélène Waeselynck, Jean-Charles Fabre

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012

2011

The many meanings of UML 2 Sequence Diagrams: a survey.

Zoltán Micskei, Hélène Waeselynck

Softw. Syst. Model., 2011

A Principled Evaluation of the Effect of Directed Mutation on Search-Based Statistical Testing.

Simon M. Poulding, John A. Clark, Hélène Waeselynck

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Detecting interferences in aspect oriented programs.

Jimmy Lauret, Jean-Charles Fabre, Hélène Waeselynck

Proceedings of the 13th European Workshop on Dependable Computing, 2011

Elimination des fautes : contribution au test du logiciel.

Hélène Waeselynck

, 2011

2010

TERMOS: A Formal Language for Scenarios in Mobile Computing Systems.

Hélène Waeselynck, Zoltán Micskei, Nicolas Rivière, Áron Hamvas, Irina Nitu

Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking, and Services, 2010

GraphSeq: A Graph Matching Tool for the Extraction of Mobility Patterns.

Minh Duc Nguyen, Hélène Waeselynck, Nicolas Rivière

Proceedings of the Third International Conference on Software Testing, 2010

Paths to Property Violation: A Structural Approach for Analyzing Counter-Examples.

Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels

Proceedings of the 12th IEEE High Assurance Systems Engineering Symposium, 2010

2009

Model checking flight control systems: The Airbus experience.

Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels

Proceedings of the 31st International Conference on Software Engineering, 2009

2008

Testing mobile computing applications: toward a scenario language and tools.

Minh Duc Nguyen, Hélène Waeselynck, Nicolas Rivière

Proceedings of the 2008 International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), 2008

LETO - A Lustre-Based Test Oracle for Airbus Critical Systems.

Guy Durrieu, Hélène Waeselynck, Virginie Wiels

Proceedings of the Formal Methods for Industrial Critical Systems, 2008

2007

Simulated annealing applied to test generation: landscape characterization and stopping criteria.

Hélène Waeselynck, Pascale Thévenod-Fosse, Olfa Abdellatif-Kaddour

Empir. Softw. Eng., 2007

Mobile Systems from a Validation Perspective: a Case Study.

Hélène Waeselynck, Zoltán Micskei, Minh Duc Nguyen, Nicolas Rivière

Proceedings of the 6th International Symposium on Parallel and Distributed Computing (ISPDC 2007), 2007

2004

Deriving Test Sets from Partial Proofs.

Guillaume Lussier, Hélène Waeselynck

Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2004

Open source software in critical systems: Motivation and challenges.

Philippe David, Hélène Waeselynck, Yves Crouzet

Proceedings of the Building the Information Society, 2004

Proof-Guided Testing: An Experimental Study.

Guillaume Lussier, Hélène Waeselynck, Karim Guennoun

Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

2003

Property-Oriented Testing: A Strategy for Exploring Dangerous Scenarios.

Olfa Abdellatif-Kaddour, Pascale Thévenod-Fosse, Hélène Waeselynck

Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

2002

Informal Proof Analysis Towards Testing Enhancement.

Guillaume Lussier, Hélène Waeselynck

Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002

2000

Testing levels for object-oriented software.

Yvan Labiche, Pascale Thévenod-Fosse, Hélène Waeselynck, M.-H. Durand

Proceedings of the 22nd International Conference on on Software Engineering, 2000

1999

Test Criteria Definition for B Models.

Salimeh Behnia, Hélène Waeselynck

Proceedings of the FM'99 - Formal Methods, 1999

A Case Study in Statistical Testing of Reusable Concurrent Objects.

Hélène Waeselynck, Pascale Thévenod-Fosse

Proceedings of the Dependable Computing, 1999

1998

B Model Animation for External Verification.

Hélène Waeselynck, Salimeh Behnia

Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998

1997

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).

Hélène Waeselynck

Softw. Test. Verification Reliab., 1997

Towards a Statistical Approach to Testing Object-Oriented Programs.

Pascale Thévenod-Fosse, Hélène Waeselynck

Proceedings of the Digest of Papers: FTCS-27, 1997

1995

Safety Case: Structure and Role.

M. El Koursi, B. Letrung, Hélène Waeselynck, François Baranowski

Proceedings of the 14th International Conference on Computer Safety, 1995

The role of testing in the B formal development process.

Hélène Waeselynck, Jean-Louis Boulanger

Proceedings of the Sixth International Symposium on Software Reliability Engineering, 1995

1994

System Dynamics Applied to the Modelling of Software Projects.

Hélène Waeselynck, Dietmar Pfahl

Softw. Concepts Tools, 1994

1993

STATEMATE Applied to Statistical Software Testing.

Pascale Thévenod-Fosse, Hélène Waeselynck

Proceedings of the 1993 International Symposium on Software Testing and Analysis, 1993

1991

An Investigation of Statistical Software Testing.

Pascale Thévenod-Fosse, Hélène Waeselynck

Softw. Test. Verification Reliab., 1991

An Experimental Study on Software Structural Testing: Deterministic versus Random Input Generation.

Pascale Thévenod-Fosse, Hélène Waeselynck, Yves Crouzet

Proceedings of the 1991 International Symposium on Fault-Tolerant Computing, 1991