Login / Signup
From TARA to Test: Automated Automotive Cybersecurity Test Generation Out of Threat Modeling.
Stefan F. Marksteiner
Christoph Schmittner
Korbinian Christl
Dejan Nickovic
Mikael Sjödin
Marjan Sirjani
Published in:
CSCS (2023)
Keyphrases
</>
test generation
test cases
test sequences
mutation testing
symbolic execution
design automation
static analysis
quality assurance
software testing
regression testing
code coverage
databases
test data
test data generation
training data
testing process
high level
information systems
machine learning