Coverage-guided test generation for continuous and hybrid systems
From MaRDI portal
Publication:1039844
DOI10.1007/s10703-009-0066-0zbMath1176.68033OpenAlexW2080932760MaRDI QIDQ1039844
Publication date: 23 November 2009
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10703-009-0066-0
Related Items
Temporally and spatially flexible plan execution for dynamic hybrid systems ⋮ Trace Analysis Using an Event-Driven Interval Temporal Logic
Cites Work
- Unnamed Item
- The algorithmic analysis of hybrid systems
- An algorithm to compute bounds for the star discrepancy
- Randomized Halton sequences
- Sampling-based Algorithm for Testing and Validating Robot Controllers
- Robust Test Generation and Coverage for Hybrid Systems
- Hybrid Systems: Computation and Control
- Test Coverage for Continuous and Hybrid Systems
- Hybrid Systems: From Verification to Falsification