Helene Waeselynck
Helene Waeselynck
LAAS-CNRS
Verified email at laas.fr - Homepage
Title
Cited by
Cited by
Year
The many meanings of UML 2 Sequence Diagrams: a survey
Z Micskei, H Waeselynck
Software & Systems Modeling 10 (4), 489-514, 2011
1202011
Safety-critical advanced robots: A survey
J Guiochet, M Machin, H Waeselynck
Robotics and Autonomous Systems 94, 43-52, 2017
1092017
An investigation of software statistical testing
P Thevenod-Fosse, H Waeselynck
Software Testing, Verification and Reliability 1 (2), 5-25, 1991
92*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
912000
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
881991
Statemate applied to statistical software testing
P Thevenod-Fosse, H Waeselynck
Proceedings of the 1993 ACM SIGSOFT international symposium on Software …, 1993
841993
Software statistical testing
P Thévenod-Fosse, Y Crouzet, H Waeselynck
Predictably Dependable Computing Systems, 253-272, 1995
681995
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
642009
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
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
412016
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
372014
B model animation for external verification
H Waeselynck, S Behnia
Proceedings Second International Conference on Formal Engineering Methods …, 1998
371998
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
352017
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
351992
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
282006
Test criteria definition for B models
S Behnia, H Waeselynck
International Symposium on Formal Methods, 509-528, 1999
251999
The role of testing in the B formal development process
H Waeselynck, JL Boulanger
Software Reliability Engineering, 1995. Proceedings., Sixth International …, 1995
231995
System dynamics applied to the modelling of software projects
H Waeselynck, D Pfahl
Software - Concepts and Tools 15 (4), 162-176, 1994
231994
Vérification de logiciels critiques par test statistique
H Waeselynck
Thèse, Institut National Polytechnique de Toulouse, 1993
23*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
191997
The system can't perform the operation now. Try again later.
Articles 1–20