TESEM: A Tool for Verifying Security Design Pattern Applications by Model Testing.
| Autor: | Kobashi, Takanori, Yoshizawa, Masatoshi, Washizaki, Hironori, Fukazawa, Yoshiaki, Yoshioka, Nobukazu, Okubo, Takano, Kaiya, Haruhiko |
|---|---|
| Zdroj: | 2015 IEEE 8th International Conference on Software Testing, Verification & Validation (ICST); 2015, p1-8, 8p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|