Online edition: ISSN 2432-6380
[TOP] | [2020] | [2021] | [2022] | [2023] | [2024] | [2025] | [2026] | [Japanese] / [English]
SS2025-30
Practice and Evaluation of a Pedagogically Effective AI-Driven Inspection System for Requirements Specification in Software Development Project-Based Learning
Jun Yoshida (TGU), Hashiura Hiroaki (NIT), Atsuo Hazeyama (TGU)
pp. 1 - 6
SS2025-31
Toward a Practical Guide for Business Requirements Specifications
Takako Nakatani (OUJ), Junko Shirogane (TWCU), Hiroyuki Nakagawa (OU), Motoshi Saeki (KUISs), Atsushi Ohnishi (Rits)
pp. 7 - 12
SS2025-32
An Algorithm for Identifying Bug-Introducing Commits Using AST-based Difference Analysis
Shogo Ukai (Ryukoku Univ), Tetsuo Yamamoto (Ryukoku Univ.)
pp. 13 - 18
SS2025-33
(See Japanese page.)
pp. 19 - 24
SS2025-34
Sota Ishizaka, Shinsuke Matsumoto, Shinji Kusumoto (UOsaka), Kazuya Yasuda, Shinji Itoh, Jinan Dai (Hitachi)
pp. 25 - 30
SS2025-35
An Empirical Study of Automated LLM-Based UML Model Review in Modeling Education
Junsei Fukushima, Hironori Washizaki, Naoyasu Ubayashi (Waseda Univ.)
pp. 31 - 36
SS2025-36
Derivation of Failure Modes and Generation of Countermeasures to Them from System Description by LLM
Kou Hamada, Tsuneo Nakanishi (Fukuoka Univ)
pp. 37 - 42
SS2025-37
An Investigation into the Ability of LLMs to Fixing Coding Standard Violations
Riho Fujiyoshi (Nanzan Univ.), Gaku Nakagawa (PKSHA Communication Inc.), Masataka Nagura (Nanzan Univ.)
pp. 43 - 48
SS2025-38
(See Japanese page.)
pp. 49 - 54
SS2025-39
Dataset Construction and Evaluation of VM Instruction-level SBFL
Hajime Fukai, Takashi Kobayashi (Science Tokyo)
pp. 55 - 60
SS2025-40
A Method for Supporting Code Review Based on Pull Request Prioritization
Kotomi Takeda, Kurumi Kagami, Masataka Nagura (Nanzan Univ.)
pp. 61 - 66
SS2025-41
Haruto Ohto, Shinsuke Matsumoto, Shinji Kusumoto (UOsaka)
pp. 67 - 72
SS2025-42
A Quantitative Investigation of Trends of Abbreviation Used in Variable Names
-- An Investigation Toward a Further Rename Refactoring Support --
Mana Tamai, Shozo Saeki, Hirohisa Aman, Minoru Kawahara (Ehime Univ.)
pp. 73 - 78
SS2025-43
Towards equivalence checking for the reversible process calculus CCSK
Renya Kawano, Shoji Yuen (Nagoya Univ.)
pp. 79 - 84
SS2025-44
Family-based Model Checking based on Machine Learning
Tomoji Kishi (Waseda Univ.)
pp. 85 - 90
SS2025-45
A Quantitative Analysis of Usefulness of Warnings Made by Static Analysis Tools for Kotlin Code
Akihiro Okamoto, Shozo Saeki, Hirohisa Aman, Minoru Kawahara (Ehime Univ.)
pp. 91 - 96
SS2025-46
Multilingual Extensible Framework for AST-Based Static Analysis Tools
Ryosuke Ishimura, Makoto Matsushita, Yoshiki Higo (UOsaka)
pp. 97 - 102
SS2025-47
Commit Untangling via Cross-Lingual Learning of Inter-Hunk Relationships Using Universal AST
Yuki Ueno, Profir-Petru Partachi, Takashi Kobayashi (Science Tokyo)
pp. 103 - 108
SS2025-48
(See Japanese page.)
pp. 109 - 114
SS2025-49
Leveraging Development History to Improve Self-Admitted Technical Debt Detection
Hitomi Taniguchi, Tetsuo Yamamoto (Ryukoku Univ.)
pp. 115 - 120
SS2025-50
(See Japanese page.)
pp. 121 - 126
SS2025-51
Investigation of SPDX Field Coverage Across Multiple SBOM Generation Tools and Proposal for an Integration Method
Yusuke Moriwaki (Ritsumeikan), Tetsuya Kanda (NDSU), Yuki Manabe (FPU), Shi Qiu (Toshiba), Erina Makihara, Norihiro Yoshida, Katsuro Inoue (Ritsumeikan)
pp. 127 - 132
SS2025-52
PyClone-Stream: An Automated and Self-growing Python Semantic Clone Dataset
Nigar Alizada, Shiyu Yang, Yoshiki Higo (UOsaka)
pp. 133 - 138
SS2025-53
(See Japanese page.)
pp. 139 - 144
SS2025-54
(See Japanese page.)
pp. 145 - 150
SS2025-55
Yuito Matsuo, Shinsuke Matsumoto, Shinji Kusumoto (Osaka Univ.)
pp. 151 - 156
SS2025-56
Language inclusion problem between timed pushdown automaton and 1-clock timed automaton revisited
Mizuhito Ogawa (OTN), Shoji Yuen (Nagoya U.)
pp. 157 - 162
SS2025-57
Proposing Confidentiality and Developing a Verification System for the Distributed Data Sharing Architecture Dejima
Hiroe Futamura, Yasunori Ishihara (Nanzan Univ.)
pp. 163 - 168
SS2025-58
Taichi Komura, Raula Gaikovina Kula, Yoshiki Higo (UOsaka)
pp. 169 - 174
SS2025-59
An Empirical Analysis of Library Recommendation Answers on Stack Overflow
Sousuke Amasaki (Nanzan Univ.)
pp. 175 - 180
SS2025-60
(See Japanese page.)
pp. 181 - 186
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.