カイヤ ハルヒコ   Kaiya Haruhiko
  海谷 治彦
   所属   神奈川大学  理学部 情報科学科
   職種   教授
言語種別 英語
発行・発表の年月 2015/04
形態種別 その他論文
査読 査読あり
標題 TESEM: A tool for verifying security design pattern applications by model testing
執筆形態 共著
掲載誌名 8th IEEE International Conference on Software Testing, Verification and Validation, ICST 2015
著者・共著者 Takanori Kobashi, Masatoshi Yoshizawa, Hironori Washizaki, Yoshiaki Fukazawa, Nobukazu Yoshioka, Takao Okubo, and Haruhiko Kaiya.
DOI 10.1109/ICST.2015.7102633