144 results on '"Hélène Waeselynck"'
Search Results
2. SENA: Similarity-Based Error-Checking of Neural Activations.
3. A Case Study on the "Jungle" Search for Industry-Relevant Regression Testing.
4. Pairwise Testing Revisited for Structured Data With Constraints.
5. SiMOOD: Evolutionary Testing Simulation With Out-Of-Distribution Images.
6. Virtual Test Scenarios for ADAS: Distance to Real Scenarios Matters!
7. Integration of Test Generation Into Simulation-Based Platforms: An Experience Report.
8. Benchmarking Safety Monitors for Image Classifiers with Machine Learning.
9. Seven Technical Issues That May Ruin Your Virtual Tests for ADAS.
10. TAF: a Tool for Diverse and Constrained Test Case Generation.
11. Testing a non-deterministic robot in simulation - How many repeated runs ?
12. The virtual lands of Oz: testing an agribot in simulation.
13. Tuning Permissiveness of Active Safety Monitors for Autonomous Systems.
14. Can Robot Navigation Bugs Be Found in Simulation? An Exploratory Study.
15. Synthesis of Safety Rules for Active Monitoring: Application to an Airport Light Measurement Robot.
16. A Toolset for Mobile Systems Testing.
17. Workshop on Safer Autonomous Systems: Special theme: safety-aware design and validation of autonomous systems.
18. SMOF: A Safety Monitoring Framework for Autonomous Systems.
19. Virtual Worlds for Testing Robot Navigation: A Study on the Difficulty Level.
20. Safety-critical advanced robots: A survey.
21. Show Me New Counterexamples: A Path-Based Approach.
22. Model-Checking and Game theory for Synthesis of Safety Rules.
23. Adding Contextual Guidance to the Automated Search for Probabilistic Test Profiles.
24. UML-Based Modeling of Robustness Testing.
25. Specifying Safety Monitors for Autonomous Systems Using Model-Checking.
26. A Meta-model for Tests of Avionics Embedded Systems.
27. GraphSeq Revisited: More Efficient Search for Patterns in Mobility Traces.
28. STELAE - A model-driven test development environment for avionics systems.
29. Fine-Grained Implementation of Fault Tolerance Mechanisms with AOP: To What Extent?
30. A UML-based environment for test scenarios in mobile settings.
31. Detection of Interferences in Aspect-Oriented Programs Using Executable Assertions.
32. Detecting interferences in aspect oriented programs.
33. A Principled Evaluation of the Effect of Directed Mutation on Search-Based Statistical Testing.
34. Emerging high assurance solutions for safe, secure, and reliable software systems.
35. TERMOS: A Formal Language for Scenarios in Mobile Computing Systems.
36. GraphSeq: A Graph Matching Tool for the Extraction of Mobility Patterns.
37. Paths to Property Violation: A Structural Approach for Analyzing Counter-Examples.
38. Test Languages for In-the-Loop Avionics Tests.
39. Model checking flight control systems: The Airbus experience.
40. LETO - A Lustre-Based Test Oracle for Airbus Critical Systems.
41. Testing mobile computing applications: toward a scenario language and tools.
42. Mobile Systems from a Validation Perspective: a Case Study.
43. Deriving Test Sets from Partial Proofs.
44. Open source software in critical systems: Motivation and challenges.
45. Proof-Guided Testing: An Experimental Study.
46. Property-Oriented Testing: A Strategy for Exploring Dangerous Scenarios.
47. Informal Proof Analysis Towards Testing Enhancement.
48. Testing levels for object-oriented software.
49. The many meanings of UML 2 Sequence Diagrams: a survey.
50. Test Criteria Definition for B Models.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.