Validating Security Design Patterns Application Using Model Testing. - Takanori Kobashi; Nobukazu Yoshioka; Takao Okubo; Haruhiko Kaiya; Hironori Washizaki; Yoshiaki Fukazawa (ARES, 2013)

Verifying Implementation of Security Design Patterns Using a Test Template. - Masatoshi Yoshizawa; Takanori Kobashi; Hironori Washizaki; Yoshiaki Fukazawa; Takao Okubo; Haruhiko Kaiya; Nobukazu Yoshioka (ARES, 2014)

Security and Privacy Behavior Definition for Behavior Driven Development. - Takao Okubo; Yoshio Kakizaki; Takanori Kobashi; Hironori Washizaki; Shinpei Ogata; Haruhiko Kaiya; Nobukazu Yoshioka (PROFES, 2014)

Validating Security Design Pattern Applications by Testing Design Models. - Takanori Kobashi; Nobukazu Yoshioka; Haruhiko Kaiya; Hironori Washizaki; Takao Okubo; Yoshiaki Fukazawa (Int. J. Secur. Softw. Eng., 2014)

Case Base for Secure Software Development Using Software Security Knowledge Base. - Atsuo Hazeyama; Masahito Saito; Nobukazu Yoshioka; Azusa Kumagai; Takanori Kobashi; Hironori Washizaki; Haruhiko Kaiya; Takao Okubo (COMPSAC Workshops, 2015)

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 (ICST, 2015)

A Case-based Management System for Secure Software Development Using Software Security Knowledge. - Masahito Saito; Atsuo Hazeyama; Nobukazu Yoshioka; Takanori Kobashi; Hironori Washizaki; Haruhiko Kaiya; Takao Okubo (KES, 2015)