Tue, Mar 14 AM 11:00 - 12:15 |
(1) |
11:00-11:25 |
A Technique for Detecting Missing Statements in Requirement Specifications Using Data Dependencies |
Shinnosuke Hirooka (Nanzan univ.), Motoshi Saeki (Nanzan Univ.) |
(2) |
11:25-11:50 |
A Technique to Support Q&A Processes in Requirements Elicitation using Graph Database |
Yui Imahori (Nanzan Univ.), Junzo Kato (Independent Consultant), Shinpei Hayashi (Tokyo Tech), Atsushi Ohnishi (Ritsumeikan Univ.), Saeki Motoshi (Nanzan Univ.) |
(3) |
11:50-12:15 |
Temporal relation identification toward generating temporal logic formulas |
Maiko Onishi (Ochanomizu Univ.), Shinpei Ogata, Kozo Okano (Shinshu Univ.), Daisuke Bekki (Ochanomizu Univ.) |
|
12:15-13:45 |
Lunch Break ( 90 min. ) |
Tue, Mar 14 PM 13:45 - 15:25 |
(4) |
13:45-14:10 |
Initial Investigation of Debugging Task Support for Novice Programmers Using Large Language Models |
Utsunomiya Kaito, Akiyama Gakuto, Kondo Masanari, Kamei Yasutaka, Ubayashi Naoyasu (Kyushu Univ.) |
(5) |
14:10-14:35 |
Investigation of a Line-Level Bug Prediction Method for Automatic Program Repair |
Kanta Wada, Hiroki Yamamoto, Morita Issei, Masanari Kondo, Yasutaka Kamei, Naoyasu Ubayashi (Kyushu Univ) |
(6) |
14:35-15:00 |
|
|
(7) |
15:00-15:25 |
|
|
|
15:25-15:40 |
Break ( 15 min. ) |
Tue, Mar 14 PM 15:40 - 17:20 |
(8) |
15:40-16:05 |
An interactive tool for assisting Dockerfile development |
Tsukasa Inada, Yuta Ishimoto, Masanari Kondo, Yasutaka Kamei, Naoyasu Ubayashi (Kyudai) |
(9) |
16:05-16:30 |
|
|
(10) |
16:30-16:55 |
Toward improving code execution speed using micro benchmark dataset |
Fuki Omori, Akinori Ihara, Kazuya Saiki (Wakayama Univ.), Yutaro Kashiwa (NAIST) |
(11) |
16:55-17:20 |
Automatic Dataset Collection and Formatting Techniques for Machine Learning Systems |
Takako Kawaguchi, Toshiyuki Kurabayashi, Haruto Tanno (former NTT) |
|
17:20-17:35 |
Break ( 15 min. ) |
Tue, Mar 14 PM 17:35 - 18:50 |
(12) |
17:35-18:00 |
|
|
(13) |
18:00-18:25 |
|
|
(14) |
18:25-18:50 |
A feature analysis of merged change requests on a version |
Mizuki Uenaka, Akinori Ihara (Wakayama Univ.), Yutaro Kashiwa (NAIST) |
Wed, Mar 15 AM 09:30 - 10:20 |
(15) |
09:30-09:55 |
On Polynomial Interpretations Toward Termination of Logically Constrained Term Rewrite Systems with Bit Vector Arithmetic |
Ayuka Matsumi, Naoki Nishida, Misaki Kojima, Donghoon Shin (Nagoya Univ.) |
(16) |
09:55-10:20 |
Regularity Preservation Property of Data Tree Rewrite Systems
-- A Subclass Decomposable into Monadic Normal Form -- |
Yuto Sakao, Hiroyuki Seki (Nagoya Univ.) |
|
10:20-10:35 |
Break ( 15 min. ) |
Wed, Mar 15 AM 10:35 - 11:50 |
(17) |
10:35-11:00 |
Preventing incomplete changes based on the multiple similalities of commits |
Yuto Kitabayashi, Takashi Kobayashi (Tokyo Tech) |
(18) |
11:00-11:25 |
Investigation of software development history using a configuration management tool for defect prediction |
Takayuki Zukawa (Kyoto Inst. Tech.), Masanari Kondo (Kyushu Univ.), Eunjong Choi, Osamu Mizuno (Kyoto Inst. Tech.) |
(19) |
11:25-11:50 |
|
|
|
11:50-13:20 |
Lunch Break ( 90 min. ) |
Wed, Mar 15 PM 13:20 - 14:35 |
(20) |
13:20-13:45 |
|
|
(21) |
13:45-14:10 |
Improvement of Encoding and Ablation Methods in Fault Localization by Ablation |
Takuma Ikeda, Kozo Okano, Shinpei Ogata (Shinshu Univ.), Shin Nakajima (NII) |
(22) |
14:10-14:35 |
|
|
|
14:35-14:50 |
Break ( 15 min. ) |
Wed, Mar 15 PM 14:50 - 16:05 |
(23) |
14:50-15:15 |
A Method for Functionally Similar Code Detection based on Java Bytecode Comparison |
Senri Miyata, Masataka Nagura (Nanzan Univ) |
(24) |
15:15-15:40 |
Attempt to generate source code using previous token type information |
Shun Tanaka, Yamamoto Tetsuo (Ryukoku Univ.) |
(25) |
15:40-16:05 |
|
|
|
16:05-16:20 |
Break ( 15 min. ) |
Wed, Mar 15 PM 16:20 - 17:10 |
(26) |
16:20-16:45 |
Development and Evaluation of Case Knowledge Base for Software Upcycling |
Takuya Nakata, Sinan Chen (Kobe Univ.), Sachio Saiki (Kochi Univ. of Tech.), Masahide Nakamura (Kobe Univ.) |
(27) |
16:45-17:10 |
Cost-performance evaluation of instances for execution of Scientific Workflows |
Mitsuki Ogawa, Taichi Sugimura, Takahiro Koita (Doshisha Univ.) |