Robust Test Generation and Coverage for Hybrid Systems
From MaRDI portal
Publication:3612982
Recommendations
- Coverage-guided test generation for continuous and hybrid systems
- Test Coverage for Continuous and Hybrid Systems
- A Formal Methodology to Test Complex Heterogeneous Systems
- Continuous and high coverage self-testing of dynamically re-configurable systems
- Hybrid Systems: Computation and Control
- Test generation from P systems using model checking
- A hierarchical test generation approach for large controllers
Cited in
(21)- Automated test case generation for the paxos single-decree protocol using a coloured Petri net model
- Trajectory-based theory for hybrid systems
- Trajectory Based Verification Using Local Finite-Time Invariance
- Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes
- Falsification of LTL Safety Properties in Hybrid Systems
- A model-based approach to testing software control systems described by linear differential equations
- Robustness of temporal logic specifications for continuous-time signals
- Verification of Hybrid Systems
- Backstepping controller synthesis and characterizations of incremental stability
- Test Coverage for Continuous and Hybrid Systems
- scientific article; zbMATH DE number 1693444 (Why is no real title available?)
- Approximate bisimulation: a bridge between computer science and control theory
- Coverage-guided test generation for continuous and hybrid systems
- Understanding deadlock and livelock behaviors in hybrid control systems
- Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers
- Bounded and Unbounded Safety Verification Using Bisimulation Metrics
- Hybrid systems: From verification to falsification by combining motion planning and discrete search
- Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate
- Test coverage estimation using threshold accepting
- Quantitative projection coverage for testing ML-enabled autonomous systems
- Adaptive testing for specification coverage and refinement in CPS models
This page was built for publication: Robust Test Generation and Coverage for Hybrid Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3612982)