Online edition: ISSN 2432-6380
[TOP] | [2016] | [2017] | [2018] | [2019] | [2020] | [2021] | [2022] | [Japanese] / [English]
SS2019-41
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)
pp. 1 - 6
SS2019-42
Supporting OSS Developers to Make and Maintain README.md Files in OSS Projects
Kazuki Shimizu, Yasutaka Kamei, Ryosuke Sato, Naoyasu Ubayashi (Kyushu Univ.)
pp. 7 - 12
SS2019-43
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.)
pp. 13 - 18
SS2019-44
Distortion Metrics for Trained Machine Learning Models
Shin Nakajima (NII)
pp. 19 - 24
SS2019-45
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.)
pp. 25 - 30
SS2019-46
Transforming Programs with Exclusive Control into Logically Constrained Term Rewrite Systems
Misaki Kojima, Naoki Nishida, Yutaka Matsubara, Masahiko Sakai (Nagoya Univ.)
pp. 31 - 36
SS2019-47
Performance Evaluation of Automatic Bug Fixing Tool for Syntax Error
Haruki Matsuo, Sho Ikeda, Yasutaka Kamei, Ryosuke Sato, Naoyasu Ubayashi (Kyushu Univ.)
pp. 37 - 42
SS2019-48
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)
pp. 43 - 48
SS2019-49
(See Japanese page.)
pp. 49 - 54
SS2019-50
Hideaki Azuma, Shinsuke Matsumoto (Osaka Univ.), Hidetake Uwano (NIT), Shinji Kusumoto (Osaka Univ.)
pp. 55 - 60
SS2019-51
Judgment Model of Merge Conflict Resolution Pattern Using Machine Learning Meta-Information
Shuya Shiraki, Tetsuya Kanda, Katsurou Inoue (Osaka Univ.)
pp. 61 - 66
SS2019-52
Analysis of Software Performance Improvement Approach in Microbenchmarking Service
Kazuya Saiki, Ryota Ando, Akinori Ihara (Wakayama Univ.)
pp. 67 - 72
SS2019-53
A Type System for Information Flow Analysis of Rust Programs
Kenta Hasegawa (Ritsumeikan Univ.), Hiroaki Kuwabara (Nanzan Univ.), Yoshitoshi Kunieda (Ritsumeikan Univ.)
pp. 73 - 78
SS2019-54
Soundness of Hoare Logic based Verification in Continuation Language CbC
Masataka Hokama, Shinji Kono (Ryukyu Univ)
pp. 79 - 85
SS2019-55
(See Japanese page.)
pp. 87 - 92
SS2019-56
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.)
pp. 93 - 98
SS2019-57
SHAP Value Coverage Testing
Qiang Zhong (Hi-System21), Naoto Sato, Makoto Ishikawa (Hitachi), Kazuhiro Kodama (Hi-System21)
pp. 99 - 102
SS2019-58
SuiteRec: Automatic Test Suite Recommendation System based on Code Clone Detection
Ryosuke Kurachi (NAIST), Eunjong Choi (KIT), Hajimu Iida (NAIST)
pp. 103 - 108
SS2019-59
A Unit Testing Method for Event-Driven Processing Programs
Hiroshi Hosobe (Hosei Univ.)
pp. 109 - 112
SS2019-60
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)
pp. 113 - 118
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.