Test Coverage for Continuous and Hybrid Systems
No abstract available.
Related papers
- Relational Abstractions for Continuous and Hybrid Systems CAV 2011
- From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages SLE 2022
- SIGNAL as a Model for Real-Time and Hybrid Systems ESOP 1992
- HpC: A Calculus for Hybrid and Mobile Systems OOPSLA 2025
- Using GPU's to accelerate stencil-based computation kernels for the development of large scale scientific applications on heterogeneous systems PPoPP 2012
- Polymorphic coverage types JFP 2026
- Using Four-Valued Signal Temporal Logic for Incremental Verification of Hybrid Systems CAV 2024
- Tool Support for Improving Test Coverage ESOP 2002