Hélène Waeselynck

Affiliations:
  • LAAS-CNRS, Toulouse, France


According to our database1, Hélène Waeselynck authored at least 61 papers between 1991 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
A Case Study on the "Jungle" Search for Industry-Relevant Regression Testing.
Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

Pairwise Testing Revisited for Structured Data With Constraints.
Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2023

SENA: Similarity-Based Error-Checking of Neural Activations.
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.
Proceedings of the 27th IEEE Pacific Rim International Symposium on Dependable Computing, 2022

Virtual Test Scenarios for ADAS: Distance to Real Scenarios Matters!
Proceedings of the 2022 IEEE Intelligent Vehicles Symposium, 2022

Integration of Test Generation Into Simulation-Based Platforms: An Experience Report.
Proceedings of the IEEE/ACM International Conference on Automation of Software Test, 2022

2021
TAF: a Tool for Diverse and Constrained Test Case Generation.
Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Benchmarking Safety Monitors for Image Classifiers with Machine Learning.
Proceedings of the 26th IEEE Pacific Rim International Symposium on Dependable Computing, 2021

Seven Technical Issues That May Ruin Your Virtual Tests for ADAS.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2021

Workshop on Safer Autonomous Systems: Special theme: safety-aware design and validation of autonomous systems.
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.
Empir. Softw. Eng., 2020

Testing a non-deterministic robot in simulation - How many repeated runs ?
Proceedings of the Fourth IEEE International Conference on Robotic Computing, 2020

2018
SMOF: A Safety Monitoring Framework for Autonomous Systems.
IEEE Trans. Syst. Man Cybern. Syst., 2018

Emerging high assurance solutions for safe, secure, and reliable software systems.
J. Softw. Evol. Process., 2018

Tuning Permissiveness of Active Safety Monitors for Autonomous Systems.
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

2017
Safety-critical advanced robots: A survey.
Robotics Auton. Syst., 2017

A Toolset for Mobile Systems Testing.
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2017

Can Robot Navigation Bugs Be Found in Simulation? An Exploratory Study.
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.
Proceedings of the First IEEE International Conference on Robotic Computing, 2017

2016
Virtual Worlds for Testing Robot Navigation: A Study on the Difficulty Level.
Proceedings of the 12th European Dependable Computing Conference, 2016

2015
Test Languages for In-the-Loop Avionics Tests.
J. Aerosp. Inf. Syst., 2015

Show Me New Counterexamples: A Path-Based Approach.
Proceedings of the 8th IEEE International Conference on Software Testing, 2015

Model-Checking and Game theory for Synthesis of Safety Rules.
Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

2014
Specifying Safety Monitors for Autonomous Systems Using Model-Checking.
Proceedings of the Computer Safety, Reliability, and Security, 2014

Adding Contextual Guidance to the Automated Search for Probabilistic Test Profiles.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

UML-Based Modeling of Robustness Testing.
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?
Proceedings of the Computer Safety, Reliability, and Security, 2013

A Meta-model for Tests of Avionics Embedded Systems.
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.
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.
Proceedings of the Dependable Computing - 14th European Workshop, 2013

A UML-based environment for test scenarios in mobile settings.
Proceedings of the International Conference on Computer, 2013

2012
Detection of Interferences in Aspect-Oriented Programs Using Executable Assertions.
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012

2011
The many meanings of UML 2 Sequence Diagrams: a survey.
Softw. Syst. Model., 2011

A Principled Evaluation of the Effect of Directed Mutation on Search-Based Statistical Testing.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Detecting interferences in aspect oriented programs.
Proceedings of the 13th European Workshop on Dependable Computing, 2011

Elimination des fautes : contribution au test du logiciel.
, 2011

2010
TERMOS: A Formal Language for Scenarios in Mobile Computing Systems.
Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking, and Services, 2010

GraphSeq: A Graph Matching Tool for the Extraction of Mobility Patterns.
Proceedings of the Third International Conference on Software Testing, 2010

Paths to Property Violation: A Structural Approach for Analyzing Counter-Examples.
Proceedings of the 12th IEEE High Assurance Systems Engineering Symposium, 2010

2009
Model checking flight control systems: The Airbus experience.
Proceedings of the 31st International Conference on Software Engineering, 2009

2008
Testing mobile computing applications: toward a scenario language and tools.
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.
Proceedings of the Formal Methods for Industrial Critical Systems, 2008

2007
Simulated annealing applied to test generation: landscape characterization and stopping criteria.
Empir. Softw. Eng., 2007

Mobile Systems from a Validation Perspective: a Case Study.
Proceedings of the 6th International Symposium on Parallel and Distributed Computing (ISPDC 2007), 2007

2004
Deriving Test Sets from Partial Proofs.
Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2004

Open source software in critical systems: Motivation and challenges.
Proceedings of the Building the Information Society, 2004

Proof-Guided Testing: An Experimental Study.
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

2003
Property-Oriented Testing: A Strategy for Exploring Dangerous Scenarios.
Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

2002
Informal Proof Analysis Towards Testing Enhancement.
Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002

2000
Testing levels for object-oriented software.
Proceedings of the 22nd International Conference on on Software Engineering, 2000

1999
Test Criteria Definition for B Models.
Proceedings of the FM'99 - Formal Methods, 1999

A Case Study in Statistical Testing of Reusable Concurrent Objects.
Proceedings of the Dependable Computing, 1999

1998
B Model Animation for External Verification.
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).
Softw. Test. Verification Reliab., 1997

Towards a Statistical Approach to Testing Object-Oriented Programs.
Proceedings of the Digest of Papers: FTCS-27, 1997

1995
Safety Case: Structure and Role.
Proceedings of the 14th International Conference on Computer Safety, 1995

The role of testing in the B formal development process.
Proceedings of the Sixth International Symposium on Software Reliability Engineering, 1995

1994
System Dynamics Applied to the Modelling of Software Projects.
Softw. Concepts Tools, 1994

1993
STATEMATE Applied to Statistical Software Testing.
Proceedings of the 1993 International Symposium on Software Testing and Analysis, 1993

1991
An Investigation of Statistical Software Testing.
Softw. Test. Verification Reliab., 1991

An Experimental Study on Software Structural Testing: Deterministic versus Random Input Generation.
Proceedings of the 1991 International Symposium on Fault-Tolerant Computing, 1991


  Loading...