Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
SWIM, KBSE |
2024-05-17 15:45 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. (Primary: On-site, Secondary: Online) |
A Tool for Use Case Driven Modeling of Screen Transitions Guo Yaojun, Shinpei Ogata, Kozo Okano (Shinshu Univ.) |
[more] |
|
KBSE |
2024-03-14 13:45 |
Okinawa |
Okinawa Prefectual General Welfare Center (Primary: On-site, Secondary: Online) |
Consideration on System Safety Verification Based on User Personality Traits Ruka Narisawa, Shinpei Ogata (Shinshu Univ.), Yoshitaka Aoki (BIPROGY), Hiroyuki Nakagawa (Osaka Univ.), Kazuki Kobayashi, Kozo Okano (Shinshu Univ.) KBSE2023-72 |
(To be available after the conference date) [more] |
KBSE2023-72 pp.43-48 |
KBSE |
2024-03-14 15:15 |
Okinawa |
Okinawa Prefectual General Welfare Center (Primary: On-site, Secondary: Online) |
A Method to Create Scenario by Large Language Model for Input Amount Simulation Yusuke Koyama, Shinpei Ogata, Kozo Okano (Shinshu Univ.) KBSE2023-75 |
One of the means to reasonably reduce the burden of user input to the UI (User Interface) is to introduce usability-enha... [more] |
KBSE2023-75 pp.61-66 |
SS |
2024-03-09 09:30 |
Okinawa |
(Primary: On-site, Secondary: Online) |
Investigating indicators of distortion in CNN models using statistical metamorphic testing Tsuchiya Takumi, Okano Kozo, Ogata Shinpei (Shinshu Univ), Nakajima Shin (NII) SS2023-77 |
In quality evalution of machine learning systems, it is important to determine whether the learning parameter (weight) v... [more] |
SS2023-77 pp.168-173 |
SS, DC |
2023-10-11 14:55 |
Nagano |
(Primary: On-site, Secondary: Online) |
Comparison of Automatic Extraction Methods for Generating Causal Component Models from Software Requirement Specifications Takeki Ninomiya, Masanosuke Ohto, Toshiki Takaoka, Shinpei Ogata, Kozo Okano (Shinshu Univ) SS2023-22 DC2023-28 |
In software development, development proceeds using requirement specifications that describe software requirements in na... [more] |
SS2023-22 DC2023-28 pp.7-12 |
SS, DC |
2023-10-11 15:20 |
Nagano |
(Primary: On-site, Secondary: Online) |
Efficient Automatic Classification of Non-Functional Requirements in Information Systems Using Deep Learning
-- A Comparative Accuracy Analysis between BERT and GPT-2 -- Kazuhiro Mukaida (Shinshu Univ.), Seiji Fukui, Takeshi Nagaoka, Takayuki Kitagawa (TOSHIBA), Shinpei Ogata, Kozo Okano (Shinshu Univ.) SS2023-23 DC2023-29 |
Recent Advancements in deep learning are increasingly enabling the automation of classifying non-functional requirements... [more] |
SS2023-23 DC2023-29 pp.13-18 |
SS, DC |
2023-10-12 10:25 |
Nagano |
(Primary: On-site, Secondary: Online) |
Robustness trends of DP-SGD, a machine learning with differential privacy Takahiro Kanki, Shinpei Ogata, Kozo Okano (Sinshu Univ), Shin Nakajima (NII) SS2023-28 DC2023-34 |
Although machine learning has been successful in various fields, there is a problem that an adversary can extract traini... [more] |
SS2023-28 DC2023-34 pp.38-43 |
SWIM, KBSE |
2023-05-19 14:30 |
Shizuoka |
(Primary: On-site, Secondary: Online) |
Analysis of the Completeness of Functional Requirement Sentences in Natural Language Naoki Narusawa (Shinshu Univ.), Atsushi Ohnishi (Ritsumeikan Univ.), Shinpei Ogata, Okano Kozo (Shinshu Univ.) KBSE2023-2 SWIM2023-2 |
(To be available after the conference date) [more] |
KBSE2023-2 SWIM2023-2 pp.7-12 |
SWIM, KBSE |
2023-05-20 14:25 |
Shizuoka |
(Primary: On-site, Secondary: Online) |
A Study on Identifying Occurrence of User's Forgetting to Take Items from Interactive Systems Ruka Narisawa, Shinpei Ogata (Shinshu Univ.), Yoshitaka Aoki (BIPROGY), Hiroyuki Nakagawa (Osaka Univ.), Kazuki Kobayashi, Kozo Okano (Shinshu Univ.) KBSE2023-10 SWIM2023-10 |
(To be available after the conference date) [more] |
KBSE2023-10 SWIM2023-10 pp.59-64 |
SS |
2023-03-14 11:50 |
Okinawa |
(Primary: On-site, Secondary: Online) |
Temporal relation identification toward generating temporal logic formulas Maiko Onishi (Ochanomizu Univ.), Shinpei Ogata, Kozo Okano (Shinshu Univ.), Daisuke Bekki (Ochanomizu Univ.) SS2022-49 |
There is room to utilize temporal relations in relation extraction that is incorporated in the analysis of requirements ... [more] |
SS2022-49 pp.13-18 |
SS |
2023-03-15 13:45 |
Okinawa |
(Primary: On-site, Secondary: Online) |
Improvement of Encoding and Ablation Methods in Fault Localization by Ablation Takuma Ikeda, Kozo Okano, Shinpei Ogata (Shinshu Univ.), Shin Nakajima (NII) SS2022-67 |
Spectrum-based Fault Localization (SFL) is a technique to locate faults in source code using execution traces. A method ... [more] |
SS2022-67 pp.121-126 |
DC, SS |
2022-10-25 14:15 |
Fukushima |
(Primary: On-site, Secondary: Online) |
Relationship between the Defects in Learning Programs and the Model Distortion on the Convolutional Neural Networks Takumi Tsuchiya, Kozo Okano, Shinpei Ogata (Shinshu Univ.), Shin Nakajima (NII) SS2022-26 DC2022-32 |
In recent years, the quality issue of machine learning software has become an important concern. When considering the qu... [more] |
SS2022-26 DC2022-32 pp.23-28 |
DC, SS |
2022-10-25 14:40 |
Fukushima |
(Primary: On-site, Secondary: Online) |
Comparison of the Coverage Indicators of Evaluation Data for the Convolutional Neural Networks Yuto Yokoyama, Kozo Okano, Shinpei Ogata (Shinshu Univ.), Shin Nakazima (NII) SS2022-27 DC2022-33 |
Neuron Coverage (NC) was proposed as a measure to quantify the usefulness of evaluation data against Deep Neural Network... [more] |
SS2022-27 DC2022-33 pp.29-34 |
SS, IPSJ-SE, KBSE [detail] |
2022-07-29 16:50 |
Hokkaido |
Hokkaido-Jichiro-Kaikan (Sapporo) (Primary: On-site, Secondary: Online) |
A Tentative Method to Automatically Generate Logs for Analyzing Relations between Configurations and Logs for Docker-based Web Application Hiroki Kasai (Shinshu Univ.), Satoshi Yazawa (VR), Shinpei Ogata, Kozo Okano (Shinshu Univ.) SS2022-17 KBSE2022-27 |
[more] |
SS2022-17 KBSE2022-27 pp.97-102 |
KBSE |
2022-03-10 13:05 |
Online |
Online (Zoom) |
A Study of Learner Errors on State Machine Modeling \Based on Eye Information and Editing Logs Takuma Kimura, Ogata Shinpei (Shinshu Univ.), Makihara Erina (Doshisha Univ.), Okano Kozo (Shinshu Univ.) KBSE2021-55 |
In state machine diagram education, learners sometimes make errors when solving modeling tasks. Educators should support... [more] |
KBSE2021-55 pp.84-89 |
SS |
2022-03-07 11:20 |
Online |
Online |
Trace Ablation and Fault Localization per Method Using Machine Learning Models for Automatic Classification of Test Execution Results Takuma Ikeda, Kozo Okano, Shinpei Ogata (Shinshu Univ.), Shin Nakajima (NII) SS2021-44 |
The problem to solve automatically classifying the results of test executions is called the test oracle problem. This is... [more] |
SS2021-44 pp.13-18 |
SS, MSS |
2022-01-12 09:15 |
Nagasaki |
Nagasakiken-Kensetsu-Sogo-Kaikan Bldg. (Primary: On-site, Secondary: Online) |
Execution-trace embedding using word-proximity metric for a method to automatically classify test results Takuma Ikeda, Kozo Okano, Shinpei Ogata (Shinshu Univ.), Shin Nakajima (NII) MSS2021-46 SS2021-33 |
The problem to solve automatically classifying the results of test executions is called the test oracle problem. This is... [more] |
MSS2021-46 SS2021-33 pp.83-88 |
KBSE, SC |
2021-11-05 13:50 |
Online |
Online + Morioka City (KBSE) (Primary: Online, Secondary: On-site) |
Quantitative evaluation effectiveness and efficiency of UI pattern for cataloging Yu Saitou, Shinpei Ogata, Kozo Okano (Shinshu Univ.) KBSE2021-25 SC2021-24 |
In web application development, developers use what to implement in the UI (user interface) patterns at the design stage... [more] |
KBSE2021-25 SC2021-24 pp.1-6 |
KBSE, IPSJ-SE, SS [detail] |
2021-07-08 13:25 |
Online |
Online (Zoom) |
Proposal of a form of requirement specifications for automatic transition model derivation and the derivation method Hiroya Ii, Masanosuke Ohto, Hitoshi Kiryu, Shinpei Ogata, Kozo Okano (Shinshu Univ.) SS2021-3 KBSE2021-15 |
[more] |
SS2021-3 KBSE2021-15 pp.13-18 |
KBSE, IPSJ-SE, SS [detail] |
2021-07-08 14:15 |
Online |
Online (Zoom) |
Extraction method for transition relations from conditional statements in natural language requirements specifications Maiko Onishi (Ochanomizu Univ.), Hiroya Ii, Shinpei Ogata, Kozo Okano (Shinshu Univ.), Daisuke Bekki (Ochanomizu Univ.) SS2021-5 KBSE2021-17 |
In software development, it is generally known that detecting defects at an early stage of the process reduces rework an... [more] |
SS2021-5 KBSE2021-17 pp.25-30 |