Adaptive testing for specification coverage and refinement in CPS models
type: Item
instance of: scholarly article
title: Adaptive testing for specification coverage and refinement in CPS models
author: Ezio Bartocci
author: Roderick Bloem
author: Benedikt Maderbacher
author: Niveditha Manjunath
author: Dejan Ničković
published in: Nonlinear Analysis. Hybrid Systems
publication date: 2022-10-14T00:00:00Z
Mathematics Subject Classification ID: 68-XX
Mathematics Subject Classification ID: 93-XX
zbMATH DE Number: 7601773
zbMATH Keywords: game based testing
zbMATH Keywords: falsification testing
zbMATH Keywords: specification coverage
zbMATH Keywords: specification refinement
zbMATH Keywords: signal temporal logic
zbMATH Keywords: cyber-physical systems
describes a project that uses: vZ
describes a project that uses: z3
describes a project that uses: Breach
MaRDI profile type: Publication
full work available at URL: j.nahs.2022.101254
OpenAlex ID: W4290785394
Wikidata QID: Q124212464
cites work: Robustness of temporal logic specifications for continuous-time signals
cites work: Interface-aware signal temporal logic
cites work: Compositional falsification of cyber-physical systems with machine learning components
cites work: Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems
cites work: S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems
cites work: Computer Aided Verification
cites work: Synthesizing adaptive test strategies from temporal logic specifications
cites work: Control Strategies for Off-Line Testing of Timed Systems
cites work: Data-Driven Statistical Learning of Temporal Logic Properties
cites work: Temporal Logics for Learning and Detection of Anomalous Behavior
cites work: A Decision Tree Approach to Data Classification using Signal Temporal Logic
cites work: A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks
cites work: Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes
cites work: TeLEx: learning signal temporal logic from positive examples using tightness metric
cites work: The power of symbolic automata and transducers
cites work: Minimization of symbolic automata
DOI: 10.1016/J.NAHS.2022.101254
description: scientific article; zbMATH DE number 7601773