カトウ　トシハル   加藤　敏春    所属   メディア情報学部 メディア情報学科    職位   講師
言語種別	英語
発行・発表の年月	2026/05
形態種別	その他論文
査読	査読あり
標題	GraSF: Graph-based Similarity Filtering as a Preprocessing Step for SMT-based Verification of Cloud Access Policy Configuration
執筆形態	共著
掲載誌名	2026 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW
掲載区分	国外
出版社・発行元	IEEE
巻・号・頁	pp.85-91
著者・共著者	◎Tomohiro Takedato, Toshiharu Kato