Helene Waeselynck
Helene Waeselynck
LAAS-CNRS
Verified email at laas.fr - Homepage
Title
Cited by
Cited by
Year
Safety-critical advanced robots: A survey
J Guiochet, M Machin, H Waeselynck
Robotics and Autonomous Systems 94, 43-52, 2017
1272017
The many meanings of UML 2 Sequence Diagrams: a survey
Z Micskei, H Waeselynck
Software & Systems Modeling 10 (4), 489-514, 2011
1222011
An investigation of software statistical testing
P Thevenod-Fosse, H Waeselynck
Software Testing, Verification and Reliability 1 (2), 5-25, 1991
94*1991
Testing levels for object-oriented software
Y Labiche, P Thévenod-Fosse, H Waeselynck, MH Durand
Proceedings of the 22nd international conference on Software engineering …, 2000
922000
An experimental study on software structural testing: deterministic versus random input generation
P Thevenod-Fosse, H Waeselynck, Y Crouzet
Digest of Papers. Fault-Tolerant Computing: The Twenty-First International …, 1991
891991
Statemate applied to statistical software testing
P Thevenod-Fosse, H Waeselynck
Proceedings of the 1993 ACM SIGSOFT international symposium on Software …, 1993
851993
Software statistical testing
P Thévenod-Fosse, Y Crouzet, H Waeselynck
Predictably Dependable Computing Systems, 253-272, 1995
691995
Model checking flight control systems: The Airbus experience
T Bochot, P Virelizier, H Waeselynck, V Wiels
2009 31st International Conference on Software Engineering-Companion Volume …, 2009
672009
Smof: A safety monitoring framework for autonomous systems
M Machin, J Guiochet, H Waeselynck, JP Blanquart, M Roy, L Masson
IEEE Transactions on Systems, Man, and Cybernetics: Systems 48 (5), 702-715, 2016
452016
Simulated annealing applied to test generation: landscape characterization and stopping criteria
H Waeselynck, P Thévenod-Fosse, O Abdellatif-Kaddour
Empirical Software Engineering 12 (1), 35-63, 2007
452007
Can robot navigation bugs be found in simulation? an exploratory study
T Sotiropoulos, H Waeselynck, J Guiochet, F Ingrand
2017 IEEE International Conference on Software Quality, Reliability and …, 2017
392017
Specifying safety monitors for autonomous systems using model-checking
M Machin, F Dufossé, JP Blanquart, J Guiochet, D Powell, H Waeselynck
International Conference on Computer Safety, Reliability, and Security, 262-277, 2014
392014
B model animation for external verification
H Waeselynck, S Behnia
Proceedings Second International Conference on Formal Engineering Methods …, 1998
371998
An experimental evaluation of formal testing and statistical testing
B Marre, P Thévenod-Fosse, H Waeselynck, P Le Gall, Y Crouzet
Safety of Computer Control Systems 1992 (Safecomp'92), 311-316, 1992
361992
The SESAME experience: from assembly languages to declarative models
Y Crouzet, H Waeselynck, B Lussier, D Powell
Second Workshop on Mutation Analysis (Mutation 2006-ISSRE Workshops 2006), 7-7, 2006
272006
System dynamics applied to the modelling of software projects
H Waeselynck, D Pfahl
Software - Concepts and Tools 15 (4), 162-176, 1994
251994
Test criteria definition for B models
S Behnia, H Waeselynck
International Symposium on Formal Methods, 509-528, 1999
241999
The role of testing in the B formal development process
H Waeselynck, JL Boulanger
Software Reliability Engineering, 1995. Proceedings., Sixth International …, 1995
231995
Vérification de logiciels critiques par test statistique
H Waeselynck
Thèse, Institut National Polytechnique de Toulouse, 1993
22*1993
Towards a statistical approach to testing object-oriented programs
P Thévenod-Fosse, H Waeselynck
Proceedings of IEEE 27th International Symposium on Fault Tolerant Computing …, 1997
211997
The system can't perform the operation now. Try again later.
Articles 1–20