ken-system: Advance Program

IEICE Technical Committee Submission System
Advance Program

Online Proceedings
[Sign in]
Tech. Rep. Archives

===============================================
Technical Committee on Software Science (SS)
Chair: Kozo Okano (Shinshu Univ.) Vice Chair: Yoshiki Higo (Osaka Univ.)
Secretary: Shinpei Ogata (Shinshu Univ.), Shinpei Hayashi (Tokyo Inst. of Tech.)
Assistant: Shinsuke Matsumoto (Osaka Univ.)

DATE:
Tue, Mar 14, 2023 11:00 - 18:50
Wed, Mar 15, 2023 09:30 - 17:10

PLACE:

TOPICS:

----------------------------------------
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.)

----- 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
(See Japanese page.)

(7) 15:00 - 15:25
(See Japanese page.)

----- 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
(See Japanese page.)

(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)

----- Break ( 15 min. ) -----

----------------------------------------
Tue, Mar 14 PM (17:35 - 18:50)
----------------------------------------

(12) 17:35 - 18:00
(See Japanese page.)

(13) 18:00 - 18:25
(See Japanese page.)

(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.)

----- 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
(See Japanese page.)

----- Lunch Break ( 90 min. ) -----

----------------------------------------
Wed, Mar 15 PM (13:20 - 14:35)
----------------------------------------

(20) 13:20 - 13:45
(See Japanese page.)

(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
(See Japanese page.)

----- 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
(See Japanese page.)

----- 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.)

# Information for speakers
General Talk will have 20 minutes for presentation and 5 minutes for discussion.

=== Technical Committee on Software Science (SS) ===

# SECRETARY:
Shinpei Ogata (Shinshu University)
TEL: +81-26-269-5468
E-mail: o