Coverage-guided test generation for continuous and hybrid systems

DOI10.1007/s10703-009-0066-0zbMath1176.68033OpenAlexW2080932760MaRDI QIDQ1039844

Tarik Nahhal, Thao Dang

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

zbMATH Keywords

hybrid systemstest generationmodel-based testingconformance testingtest coverage

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15)

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