Symbolic Execution based Verification of Compliance with the ISO 26262 Functional Safety Standard.

Mazen Ahmed Mona Safar

Published in: DTIS (2019)

Keyphrases

symbolic execution
static analysis
test generation
test data generation
source code
specification language
data flow
database
functional verification
decision trees
xml documents
general purpose
programming language
pattern matching
model checking
convergence rate