C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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