Helene Waeselynck
Helene Waeselynck
Verified email at - Homepage
Cited by
Cited by
Safety-critical advanced robots: A survey
J Guiochet, M Machin, H Waeselynck
Robotics and Autonomous Systems 94, 43-52, 2017
The many meanings of UML 2 Sequence Diagrams: a survey
Z Micskei, H Waeselynck
Software & Systems Modeling 10 (4), 489-514, 2011
An investigation of software statistical testing
P Thevenod-Fosse, H Waeselynck
Software Testing, Verification and Reliability 1 (2), 5-25, 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
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
Statemate applied to statistical software testing
P Thevenod-Fosse, H Waeselynck
Proceedings of the 1993 ACM SIGSOFT international symposium on Software …, 1993
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
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
Software statistical testing
P Thévenod-Fosse, Y Crouzet, H Waeselynck
Predictably Dependable Computing Systems, 253-272, 1995
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
Simulated annealing applied to test generation: landscape characterization and stopping criteria
H Waeselynck, P Thévenod-Fosse, O Abdellatif-Kaddour
Empirical Software Engineering 12, 35-63, 2007
Specifying safety monitors for autonomous systems using model-checking
M Machin, F Dufossé, JP Blanquart, J Guiochet, D Powell, H Waeselynck
Computer Safety, Reliability, and Security: 33rd International Conference …, 2014
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
B model animation for external verification
H Waeselynck, S Behnia
Proceedings Second International Conference on Formal Engineering Methods …, 1998
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
System dynamics applied to the modelling of software projects
H Waeselynck, D Pfahl
Software - Concepts and Tools 15 (4), 162-176, 1994
Test criteria definition for B models
S Behnia, H Waeselynck
International Symposium on Formal Methods, 509-528, 1999
Vérification de logiciels critiques par test statistique
H Waeselynck
Thèse, Institut National Polytechnique de Toulouse, 1993
Paths to property violation: A structural approach for analyzing counter-examples
T Bochot, P Virelizier, H Waeselynck, V Wiels
2010 IEEE 12th International Symposium on High Assurance Systems Engineering …, 2010
The role of testing in the B formal development process
H Waeselynck, JL Boulanger
Software Reliability Engineering, 1995. Proceedings., Sixth International …, 1995
The system can't perform the operation now. Try again later.
Articles 1–20