On Input Generators for Cyber-Physical Systems Falsification
Journal article, 2024
Falsification
Simulation-based Optimization
Semantics
Delays
Optimization
Pulse generation
Benchmark testing
Input Generators
Generators
Cyber-Physical Systems
Testing
Testing
Author
Zahra Ramezani
Chalmers, Electrical Engineering, Systems and control
Alexandre Donzé
Decyphir SAS
Martin Fabian
Chalmers, Electrical Engineering, Systems and control
Knut Åkesson
Chalmers, Electrical Engineering, Systems and control
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
0278-0070 (ISSN) 19374151 (eISSN)
Vol. 43 4 1274-1287Systematic testing of cyber-physical systems (SyTeC)
Swedish Research Council (VR) (2016-06204), 2017-01-01 -- 2022-12-31.
Subject Categories (SSIF 2011)
Embedded Systems
Control Engineering
Computer Science
DOI
10.1109/TCAD.2023.3333758