Wed, Mar 4 PM E1 13:00 - 14:15 |
(1) |
13:00-13:25 |
Analysis of Problem Based Learning to Enhance Competency |
Masaki Yamamoto (Nagoya Univ.), Atsushi Sawada (Nanzan Univ.), Takashi Kobayashi (Tokyo Tech.), Koji Okamura (Kyushu Univ.), Atsuko Miyaji (Handai), Kazuhiko Sato (Muroran IT), Taku Okuno (FUN), Fumihiro Kumeno (NIT) |
(2) |
13:25-13:50 |
Supporting OSS Developers to Make and Maintain README.md Files in OSS Projects |
Kazuki Shimizu, Yasutaka Kamei, Ryosuke Sato, Naoyasu Ubayashi (Kyushu Univ.) |
(3) |
13:50-14:15 |
A Decision Procedure for a Macro Forest Transducer being an Implementation of an XML Schema Mapping |
Hiroaki Tabata, Masahiko Sakai, Kenji Hashimoto (Nagoya Univ. G. S.) |
|
14:15-14:20 |
Break ( 5 min. ) |
Wed, Mar 4 PM F1 14:20 - 15:35 |
(4) |
14:20-14:45 |
Distortion Metrics for Trained Machine Learning Models |
Shin Nakajima (NII) |
(5) |
14:45-15:10 |
Real-time scheduling to reduce memory consumption of multiprocessor systems by considering both heap memory allocation/deallocation and real-time constraints |
Yuki Machigashira, Akio Nakata (Hiroshima City Univ.) |
(6) |
15:10-15:35 |
Transforming Programs with Exclusive Control into Logically Constrained Term Rewrite Systems |
Misaki Kojima, Naoki Nishida, Yutaka Matsubara, Masahiko Sakai (Nagoya Univ.) |
|
15:35-15:40 |
Break ( 5 min. ) |
Wed, Mar 4 PM E1 15:40 - 16:55 |
(7) |
15:40-16:05 |
Performance Evaluation of Automatic Bug Fixing Tool for Syntax Error |
Haruki Matsuo, Sho Ikeda, Yasutaka Kamei, Ryosuke Sato, Naoyasu Ubayashi (Kyushu Univ.) |
(8) |
16:05-16:30 |
The Impact of Fault Localization Considering Developers' Intuition on Automatic Bug Repair |
Kyosuke Yamate, Takumi Shuto, Sho Asada, Ryosuke Sato, Yasutaka Kamei, Naoyasu Ubayasi (Kyushu Univ) |
(9) |
16:30-16:55 |
|
|
Thu, Mar 5 AM E3 09:30 - 10:45 |
(10) |
09:30-09:55 |
|
Hideaki Azuma, Shinsuke Matsumoto (Osaka Univ.), Hidetake Uwano (NIT), Shinji Kusumoto (Osaka Univ.) |
(11) |
09:55-10:20 |
Judgment Model of Merge Conflict Resolution Pattern Using Machine Learning Meta-Information |
Shuya Shiraki, Tetsuya Kanda, Katsurou Inoue (Osaka Univ.) |
(12) |
10:20-10:45 |
Analysis of Software Performance Improvement Approach in Microbenchmarking Service |
Kazuya Saiki, Ryota Ando, Akinori Ihara (Wakayama Univ.) |
|
10:45-10:50 |
Break ( 5 min. ) |
Thu, Mar 5 AM F2 10:50 - 12:30 |
(13) |
10:50-11:15 |
A Type System for Information Flow Analysis of Rust Programs |
Kenta Hasegawa (Ritsumeikan Univ.), Hiroaki Kuwabara (Nanzan Univ.), Yoshitoshi Kunieda (Ritsumeikan Univ.) |
(14) |
11:15-11:40 |
Soundness of Hoare Logic based Verification in Continuation Language CbC |
Masataka Hokama, Shinji Kono (Ryukyu Univ) |
(15) |
11:40-12:05 |
|
|
(16) |
12:05-12:30 |
An Approach of Deriving Hazard Transition Series by Cooperation of STAMP/STPA and Model Checking |
Pan Yang, Kozo Okano, Shinpei Ogata (Shinshu Univ.), Keishi Okamoto (Sendai National College of Tech.) |
|
- |
Lunch Break |
Thu, Mar 5 PM E4 13:30 - 15:10 |
(17) |
13:30-13:55 |
SHAP Value Coverage Testing |
Qiang Zhong (Hi-System21), Naoto Sato, Makoto Ishikawa (Hitachi), Kazuhiro Kodama (Hi-System21) |
(18) |
13:55-14:20 |
SuiteRec: Automatic Test Suite Recommendation System based on Code Clone Detection |
Ryosuke Kurachi (NAIST), Eunjong Choi (KIT), Hajimu Iida (NAIST) |
(19) |
14:20-14:45 |
A Unit Testing Method for Event-Driven Processing Programs |
Hiroshi Hosobe (Hosei Univ.) |
(20) |
14:45-15:10 |
Morpheme Pattern Matcher morfgrep and Its Application in Software Development |
Tsuneo Nakanishi, Kenji Yoshimura, Hokuto Ototake, Tosifumi Tanabe, Hiroki Furusho (Fukuoka Univ.), Yoichi Nishiura, Masaki Asano (Aisin Seiki) |