Helene Waeselynck
Helene Waeselynck
LAAS-CNRS
Adresse e-mail validée de laas.fr - Page d'accueil
Titre
Citée par
Citée par
Année
The many meanings of UML 2 Sequence Diagrams: a survey
Z Micskei, H Waeselynck
Software & Systems Modeling 10 (4), 489-514, 2011
1112011
An investigation of software statistical testing
P Thevenod-Fosse, H Waeselynck
Software Testing, Verification and Reliability 1 (2), 5-25, 1991
95*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
842000
Statemate applied to statistical software testing
P Thevenod-Fosse, H Waeselynck
Proceedings of the 1993 ACM SIGSOFT international symposium on Software …, 1993
831993
Safety-critical advanced robots: A survey
J Guiochet, M Machin, H Waeselynck
Robotics and Autonomous Systems 94, 43-52, 2017
822017
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
821991
Software statistical testing
P Thévenod-Fosse, Y Crouzet, H Waeselynck
Predictably Dependable Computing Systems, 253-272, 1995
661995
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
592009
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
412007
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
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
352014
B model animation for external verification
H Waeselynck, S Behnia
Proceedings Second International Conference on Formal Engineering Methods …, 1998
351998
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
322016
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
292017
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
262006
Test criteria definition for B models
S Behnia, H Waeselynck
International Symposium on Formal Methods, 509-528, 1999
231999
Vérification de logiciels critiques par test statistique
H Waeselynck
Thèse, Institut National Polytechnique de Toulouse, 1993
23*1993
System dynamics applied to the modelling of software projects
H Waeselynck, D Pfahl
Software - Concepts and Tools 15 (4), 162-176, 1994
221994
The role of testing in the B formal development process
H Waeselynck, JL Boulanger
Software Reliability Engineering, 1995. Proceedings., Sixth International …, 1995
211995
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
201997
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20