Framework and Automated Prioritization Procedure for Model-Based Testing of Automotive Distributed Systems.

Lukas Krejci Jiri Novák

Published in: DATESO (2017)

Keyphrases

distributed systems
load balancing
distributed environment
fault tolerant
distributed computing
model based testing
data replication
software architecture
fault tolerance
concurrent systems
geographically distributed
deadlock detection
database
real time systems
test data
neural network
databases
data sets