![](/img/cover-not-exists.png)
[IEEE 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) - Graz, Austria (2015.4.13-2015.4.17)] 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) - TESEM: A Tool for Verifying Security Design Pattern Applications by Model Testing
Kobashi, Takanori, Yoshizawa, Masatoshi, Washizaki, Hironori, Fukazawa, Yoshiaki, Yoshioka, Nobukazu, Okubo, Takano, Kaiya, HaruhikoYear:
2015
Language:
english
DOI:
10.1109/ICST.2015.7102633
File:
PDF, 1.49 MB
english, 2015