Sign in
TESEM: A Tool for Verifying Security Design Pattern Applications by Model Testing.
Takanori Kobashi
Masatoshi Yoshizawa
Hironori Washizaki
Yoshiaki Fukazawa
Nobukazu Yoshioka
Takao Okubo
Haruhiko Kaiya
Published in:
ICST (2015)
Keyphrases
</>
probabilistic model
computational model
test data
high level
multimedia
life cycle
user friendly
design patterns
formal model
metamodel
security issues