Thu, Jul 20 PM 13:45 - 15:40 |
|
13:45-14:00 |
Opening ( 15 min. ) |
(1) SS |
14:00-14:25 |
Design of a Software Architecture for Risk Assessment Systems Using Machine Learning |
Tomoya Kachi, Tensho Iimori, Masami Noro, Atsushi Sawada, Han-Myung Chang (Nanzan Univ.) |
(2) SS |
14:25-14:50 |
Experimental Evaluation of Large Language Model Vicuna's Accuracy in Detecting Violations of MISRA C:2012 Rules |
Katsuhiko Fujie, Toshihiro Kamiya (Shimane univ.) |
(3) SS |
14:50-15:15 |
CROOPLPP : A Reversible Concurrent Object-oriented Programming Language |
Yusuke Akaike, Shoji Yuen (Nagoya Univ) |
(4) SS |
15:15-15:40 |
Instruction Scheduling for GPUs Utilizing Subwarp Interleaving |
Junji Fukuhara, Munehiro Takimoto (TUS) |
|
15:40-15:55 |
Break ( 15 min. ) |
Thu, Jul 20 PM 15:55 - 16:45 |
(5) KBSE |
15:55-16:20 |
Specifying Software Requirements Documents of good quality based on ISO/IEC/IEEE29148 |
Atsushi Ohnishi (Ritsumeikan U.) |
(6) KBSE |
16:20-16:45 |
Developing Location-Aware Service Platform Using Data Integration Platform |
Tomoro Nakahashi, Sinan Chen, Masahide Nakamura (Kobe Univ.), Sachio Saiki (Kochi Univ. of Tech.) |
|
16:45-17:00 |
Break ( 15 min. ) |
Thu, Jul 20 PM 17:00 - 17:50 |
(7) |
17:00-17:25 |
|
(8) |
17:25-17:50 |
|
Fri, Jul 21 AM 09:30 - 10:20 |
(9) |
09:30-09:55 |
|
(10) |
09:55-10:20 |
|
|
10:20-10:35 |
Break ( 15 min. ) |
Fri, Jul 21 AM 10:35 - 11:50 |
(11) SS |
10:35-11:00 |
Effect of query reformulation on IR-based bug localization. |
Ryosuke Inomata, Takashi Kobayashi (Tokyo Tech.) |
(12) SS |
11:00-11:25 |
A tool for vulnerability assessment and checksum verification using SPDX documents |
Rio Kishimoto, Tetsuya Kanda (Osaka Univ.), Yuki Manabe (The Univ. of Fukuchiyama), Katsuro Inoue (Nanzan Univ.), Yoshiki Higo (Osaka Univ.) |
(13) SS |
11:25-11:50 |
|
|
|
11:50-13:20 |
Lunch Break ( 90 min. ) |
Fri, Jul 21 PM 13:20 - 14:35 |
(14) |
13:20-13:45 |
|
(15) |
13:45-14:10 |
|
(16) |
14:10-14:35 |
|
|
14:35-14:50 |
Break ( 15 min. ) |
Fri, Jul 21 PM 14:50 - 15:40 |
(17) SS |
14:50-15:15 |
Evaluation of ChatGPT's Performance on Programming Course Assignments |
Tomoya Suzuki, Toshihiro Kamiya (Shimane Univ.) |
(18) SS |
15:15-15:40 |
Currentization of legacy algorithms |
Fumihiko Ishiyama (NTT) |
|
15:40-15:55 |
Break ( 15 min. ) |
Fri, Jul 21 PM 15:55 - 16:45 |
(19) KBSE |
15:55-16:20 |
NARUTO model: a Requirements Engineering Process for Incremental Developments |
Takako Nakatani (OUJ), Atsushi Ohnishi (Ritsumeikan Univ.), Motoshi Saeki (Nanzan Univ.) |
(20) KBSE |
16:20-16:45 |
Visual Programming Learning Environment Focusing on Unit Testing for Functional Programming |
Kouki Asakawa, Takafumi Tanaka (Tamagawa Univ.) |
|
16:45-17:00 |
Break ( 15 min. ) |
Fri, Jul 21 PM 17:00 - 17:50 |
(21) KBSE |
17:00-17:25 |
Programming Learning Support System Using Learning Logs from Digital Textbooks and Exercise Management Systems |
Hatsune Ochiai, Takafumi Tanaka (Tamagawa Univ.) |
(22) KBSE |
17:25-17:50 |
Development of a Support System for Learning Combination Testing |
Kana Suetake, Takafumi Tanaka (Tamagawa Univ.) |
Sat, Jul 22 AM 09:30 - 10:45 |
(23) SS |
09:30-09:55 |
Preliminary study on contextualized API usage change patterns extraction. |
Shunsuke Wakamatsu, Takashi Kobayashi (Tokyo Tech.) |
(24) SS |
09:55-10:20 |
Exploring the Magnetic or Sticky Nature of GitHub Ecosystems: NPM, PyPI, and Rubygems |
Shurong Sun, Olivier Nourry, Dong Wang, Yasutaka Kamei (Kyushu Univ.) |
(25) SS |
10:20-10:45 |
An exploratory study of linking between Stack Overflow and Language Documentation |
Sentaro Onizuka, Tetsuya Kanda (Osaka Univ.), Yuki Manabe (Univ. Fukuchiyama), Yoshiki Higo (Osaka Univ.) |
|
10:45-11:00 |
Break ( 15 min. ) |
Sat, Jul 22 AM 11:00 - 11:50 |
(26) KBSE |
11:00-11:25 |
Extracting User Needs for Personalized Smart Services Using Dialogue Agent with LLM |
Takuya Nakata, Sinan Chen (Kobe Univ.), Sachio Saiki (Kochi Univ. of Tech.), Masahide Nakamura (Kobe Univ.) |
(27) KBSE |
11:25-11:50 |
Verification of System Behavior using two types of model checking |
Yoshitaka Aoki (BIPROGY), Shinpei Ogata (Shinshu Univ.), Hiroyuki Nkagawa (Osaka Univ.), Kazuki Kobayashi (Shinshu Univ.) |
|
11:50-13:20 |
Lunch Break ( 90 min. ) |
Sat, Jul 22 PM 13:20 - 14:10 |
(28) |
13:20-13:45 |
|
(29) |
13:45-14:10 |
|
|
14:10-14:25 |
Break ( 15 min. ) |
Sat, Jul 22 PM 14:25 - 15:30 |
(30) |
14:25-14:50 |
|
(31) |
14:50-15:15 |
|
|
15:15-15:30 |
Closing ( 15 min. ) |