Cybersecurity Verification and Validation Testing in Automotive.

Damjan Ekert Jürgen Dobaj Alen Salamun

Published in: J. Univers. Comput. Sci. (2021)

Keyphrases

test generation
symbolic execution
formal verification
test cases
software testing
model checking
model based testing
automotive industry
expert systems
search algorithm
case study
decision trees
formal methods
signature verification
website
data mining
model validation
real world
data sets