Falsification of Cyber-Physical Systems with Robustness-Guided Black-Box Checking.

Published in: CoRR (2020)

Keyphrases

black box
cyber physical systems
cyber physical
black boxes
white box
integration testing
test cases
physical world
white box testing
computer systems
access control
low cost
cyber security
software engineering
data analysis
multi agent systems
decision trees
information systems
databases