Test Coverage for Continuous and Hybrid Systems
From MaRDI portal
Publication:5429336
DOI10.1007/978-3-540-73368-3_47zbMath1135.68346MaRDI QIDQ5429336
Publication date: 29 November 2007
Published in: Computer Aided Verification (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73368-3_47
68Q45: Formal languages and automata
68M15: Reliability, testing and fault tolerance of networks and computer systems
Related Items
Analog property checkers: a DDR2 case study, Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers, Hybrid systems: From verification to falsification by combining motion planning and discrete search, Coverage-guided test generation for continuous and hybrid systems, Falsification of LTL Safety Properties in Hybrid Systems, Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate