A Tool Prototype for Model-Based Testing of Cyber-Physical Systems.

Arend Aerts Mohammad Reza Mousavi Michel A. Reniers

Published in: ICTAC (2015)

Keyphrases

cyber physical systems
model based testing
cyber physical
test cases
sequence diagrams
databases
artificial intelligence
decision making
security policies
physical world