Information and Systems-Image Engineering(Date:2020/03/04)

Presentation
Distortion Metrics for Trained Machine Learning Models

Shin Nakajima(NII),  

[Date]2020-03-04
[Paper #]SS2019-44
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),  

[Date]2020-03-04
[Paper #]SS2019-41
Real-time scheduling to reduce memory consumption of multiprocessor systems by considering both heap memory allocation/deallocation and real-time constraints

Yuki Machigashira(Hiroshima City Univ.),  Akio Nakata(Hiroshima City Univ.),  

[Date]2020-03-04
[Paper #]SS2019-45
Transforming Programs with Exclusive Control into Logically Constrained Term Rewrite Systems

Misaki Kojima(Nagoya Univ.),  Naoki Nishida(Nagoya Univ.),  Yutaka Matsubara(Nagoya Univ.),  Masahiko Sakai(Nagoya Univ.),  

[Date]2020-03-04
[Paper #]SS2019-46
Supporting OSS Developers to Make and Maintain README.md Files in OSS Projects

Kazuki Shimizu(Kyushu Univ.),  Yasutaka Kamei(Kyushu Univ.),  Ryosuke Sato(Kyushu Univ.),  Naoyasu Ubayashi(Kyushu Univ.),  

[Date]2020-03-04
[Paper #]SS2019-42
A Decision Procedure for a Macro Forest Transducer being an Implementation of an XML Schema Mapping

Hiroaki Tabata(Nagoya Univ. G. S.),  Masahiko Sakai(Nagoya Univ. G. S.),  Kenji Hashimoto(Nagoya Univ. G. S.),  

[Date]2020-03-04
[Paper #]SS2019-43
Performance Evaluation of Automatic Bug Fixing Tool for Syntax Error

Haruki Matsuo(Kyushu Univ.),  Sho Ikeda(Kyushu Univ.),  Yasutaka Kamei(Kyushu Univ.),  Ryosuke Sato(Kyushu Univ.),  Naoyasu Ubayashi(Kyushu Univ.),  

[Date]2020-03-04
[Paper #]SS2019-47
The Impact of Fault Localization Considering Developers' Intuition on Automatic Bug Repair

Kyosuke Yamate(Kyushu Univ),  Takumi Shuto(Kyushu Univ),  Sho Asada(Kyushu Univ),  Ryosuke Sato(Kyushu Univ),  Yasutaka Kamei(Kyushu Univ),  Naoyasu Ubayasi(Kyushu Univ),  

[Date]2020-03-04
[Paper #]SS2019-48
Firefoxにおけるマルチバイト文字に起因するバグの調査

Naoto Ichikawa(Osaka Univ),  Shinsuke Matsumoto(Osaka Univ),  Shinji Kusumoto(Osaka Univ),  

[Date]2020-03-04
[Paper #]SS2019-49
An Approach of Deriving Hazard Transition Series by Cooperation of STAMP/STPA and Model Checking

Pan Yang(Shinshu Univ.),  Kozo Okano(Shinshu Univ.),  Shinpei Ogata(Shinshu Univ.),  Keishi Okamoto(Sendai National College of Tech.),  

[Date]2020-03-05
[Paper #]SS2019-56
SHAP Value Coverage Testing

Qiang Zhong(Hi-System21),  Naoto Sato(Hitachi),  Makoto Ishikawa(Hitachi),  Kazuhiro Kodama(Hi-System21),  

[Date]2020-03-05
[Paper #]SS2019-57
SuiteRec: Automatic Test Suite Recommendation System based on Code Clone Detection

Ryosuke Kurachi(NAIST),  Eunjong Choi(KIT),  Hajimu Iida(NAIST),  

[Date]2020-03-05
[Paper #]SS2019-58
Morpheme Pattern Matcher morfgrep and Its Application in Software Development

Tsuneo Nakanishi(Fukuoka Univ.),  Kenji Yoshimura(Fukuoka Univ.),  Hokuto Ototake(Fukuoka Univ.),  Tosifumi Tanabe(Fukuoka Univ.),  Hiroki Furusho(Fukuoka Univ.),  Yoichi Nishiura(Aisin Seiki),  Masaki Asano(Aisin Seiki),  

[Date]2020-03-05
[Paper #]SS2019-60
構文ハイライトとフォントの違いによる開発者の脳波の比較

Hideaki Azuma(Osaka Univ.),  Shinsuke Matsumoto(Osaka Univ.),  Hidetake Uwano(NIT),  Shinji Kusumoto(Osaka Univ.),  

[Date]2020-03-05
[Paper #]SS2019-50
A Unit Testing Method for Event-Driven Processing Programs

Hiroshi Hosobe(Hosei Univ.),  

[Date]2020-03-05
[Paper #]SS2019-59
Judgment Model of Merge Conflict Resolution Pattern Using Machine Learning Meta-Information

Shuya Shiraki(Osaka Univ.),  Tetsuya Kanda(Osaka Univ.),  Katsurou Inoue(Osaka Univ.),  

[Date]2020-03-05
[Paper #]SS2019-51
Analysis of Software Performance Improvement Approach in Microbenchmarking Service

Kazuya Saiki(Wakayama Univ.),  Ryota Ando(Wakayama Univ.),  Akinori Ihara(Wakayama Univ.),  

[Date]2020-03-05
[Paper #]SS2019-52
A Type System for Information Flow Analysis of Rust Programs

Kenta Hasegawa(Ritsumeikan Univ.),  Hiroaki Kuwabara(Nanzan Univ.),  Yoshitoshi Kunieda(Ritsumeikan Univ.),  

[Date]2020-03-05
[Paper #]SS2019-53
Soundness of Hoare Logic based Verification in Continuation Language CbC

Masataka Hokama(Ryukyu Univ),  Shinji Kono(Ryukyu Univ),  

[Date]2020-03-05
[Paper #]SS2019-54
継続渡しスタイルの関数型言語における非決定性プログラム

,  ,  ,  

[Date]2020-03-05
[Paper #]SS2019-55