Multi-Requirement Testing Using Focused Falsification

DOI10.1145/3501710.3519521MaRDI QIDQ6120692zbMATH OpenOpenAlexFDO

Authors Alexandre Donzé, Knut Åkesson

Publication date 21 February 2024

Published in 25th ACM International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL https://research.chalmers.se/en/publication/530011

zbMATH Keywords

testingfalsificationCPSformal requirements

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• Adaptive testing for specification coverage and refinement in CPS models
• Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness
• Monte-Carlo techniques for falsification of temporal properties of non-linear hybrid systems
• Falsification of temporal properties of hybrid systems using the cross-entropy method
• On minimising the maximum expected verification time

Cites work

• Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness
• Formal Methods in Computer-Aided Design
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Powertrain control verification benchmark
• Reactive synthesis from signal temporal logic specifications
• Robust satisfaction of temporal logic over real-valued signals
• Robustness of temporal logic specifications for continuous-time signals
• S-TaLiRo: a tool for temporal logic falsification for hybrid systems
• Stochastic local search for falsification of hybrid systems
• What's decidable about hybrid automata?

Cited in

(2)

• Exploring behaviors of hybrid systems via the Voronoi bias over output signals
• Adaptive testing for specification coverage and refinement in CPS models

This page was built for publication: Multi-Requirement Testing Using Focused Falsification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6120692)