{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,4]],"date-time":"2025-10-04T18:18:46Z","timestamp":1759601926815,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1109\/icst.2015.7102633","type":"proceedings-article","created":{"date-parts":[[2015,5,8]],"date-time":"2015-05-08T11:54:04Z","timestamp":1431086044000},"page":"1-8","source":"Crossref","is-referenced-by-count":8,"title":["TESEM: A Tool for Verifying Security Design Pattern Applications by Model Testing"],"prefix":"10.1109","author":[{"given":"Takanori","family":"Kobashi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masatoshi","family":"Yoshizawa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hironori","family":"Washizaki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yoshiaki","family":"Fukazawa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nobukazu","family":"Yoshioka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Takano","family":"Okubo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haruhiko","family":"Kaiya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"383","author":"torsel","year":"2013","journal-title":"Testing Tool for Web Applications Using a Domain-Specific Modelling Language and the NuSMV Model Checker Software Testing Verification and Validation (ICST)"},{"journal-title":"Performance testing based on test-driven development for mobile applications ICUIMC","year":"2009","author":"choi","key":"ref11"},{"journal-title":"Poole C (2003) Discipline and practices of TDD (test driven development)","year":"0","author":"astels","key":"ref12"},{"key":"ref13","volume":"69","author":"b\u00fcttnera","year":"2007","journal-title":"USE A UMLbased specification environment for validating UML and OCL Sci Comput Program"},{"journal-title":"The Object Constraint Language Precise Modeling with UML","year":"1999","author":"kleppe","key":"ref14"},{"journal-title":"Web Application Security Frame Microsoft Patterns & Practices","year":"2007","author":"mackman","key":"ref15"},{"journal-title":"SSR-Project","year":"2013","author":"kaiya","key":"ref16"},{"key":"ref4","first-page":"37","volume":"3","author":"okubo","year":"2012","journal-title":"N Effective Security Impact Analysis with Patterns for SoftwareEnhancement IJSSE"},{"key":"ref3","volume":"5","author":"kobashi","year":"2014","journal-title":"Validating Security Design Pattern Applications by Testing Design Models International Journal of Secure Software Engineering IJSSE"},{"key":"ref6","article-title":"Eliciting security requirements by misuse cases","author":"andreas","year":"2000","journal-title":"IEEE Computer Society"},{"journal-title":"Misuse Cases + Assets + Security Goals International Conference on Computational Science and Engineering","year":"2009","author":"okubo","key":"ref5"},{"journal-title":"Validating and Implementing Security Patterns for Database Applications SPAQu '09","year":"2009","author":"abramov","key":"ref8"},{"key":"ref7","first-page":"454","article-title":"Verifying Behavioral Correctness of Design Pattern Implementation","author":"dong","year":"2008","journal-title":"SEKE"},{"journal-title":"Security Patterns Integrating Security and Systems Engineering (Wiley Software Patterns Series)","year":"2006","author":"bschmann","key":"ref2"},{"key":"ref1","first-page":"35","author":"maruyama","year":"2008","journal-title":"A Survey on Security Patterns Progress in Informatics"},{"key":"ref9","first-page":"274","volume":"52","author":"dong","year":"2009","journal-title":"Automated verification of security pattern compositions Information and Software Technology"}],"event":{"name":"2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST)","start":{"date-parts":[[2015,4,13]]},"location":"Graz, Austria","end":{"date-parts":[[2015,4,17]]}},"container-title":["2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7102553\/7102573\/07102633.pdf?arnumber=7102633","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T14:47:01Z","timestamp":1490366821000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7102633\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/icst.2015.7102633","relation":{},"subject":[],"published":{"date-parts":[[2015,4]]}}}