Hélène Waeselynck

66 papers A* 1A 10B 4C 15Misc 3Journal 13Unranked 18

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