A Static Analysis of Dynamic Fault Trees with Priority-AND Gates.

Jianwen Xiang Fumio Machida Kumiko Tadano Kazuo Yanoo Wei Sun Yoshiharu Maeno

Published in: LADC (2013)

Keyphrases

static analysis
dynamic analysis
source code
decision trees
dynamic environments
tree structure
object oriented
reverse engineering
test suite
test generation
java card
high level
relational databases
open source
symbolic execution