Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
SS |
2020-03-04 13:00 |
Okinawa |
(Cancelled but technical report was issued) |
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) SS2019-41 |
(To be available after the conference date) [more] |
SS2019-41 pp.1-6 |
SS |
2020-03-04 13:25 |
Okinawa |
(Cancelled but technical report was issued) |
Supporting OSS Developers to Make and Maintain README.md Files in OSS Projects Kazuki Shimizu, Yasutaka Kamei, Ryosuke Sato, Naoyasu Ubayashi (Kyushu Univ.) SS2019-42 |
In the OSS development projects published on hosting service such as GitHub, README.md files are used to get an overview... [more] |
SS2019-42 pp.7-12 |
SS |
2020-03-04 13:50 |
Okinawa |
(Cancelled but technical report was issued) |
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.) SS2019-43 |
XML Schema Mapping (SM) describes the correspondence between two different XML Schema DTDs using a tree pattern.
A dete... [more] |
SS2019-43 pp.13-18 |
SS |
2020-03-04 14:20 |
Okinawa |
(Cancelled but technical report was issued) |
Distortion Metrics for Trained Machine Learning Models Shin Nakajima (NII) SS2019-44 |
[more] |
SS2019-44 pp.19-24 |
SS |
2020-03-04 14:45 |
Okinawa |
(Cancelled but technical report was issued) |
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.) SS2019-45 |
[more] |
SS2019-45 pp.25-30 |
SS |
2020-03-04 15:10 |
Okinawa |
(Cancelled but technical report was issued) |
Transforming Programs with Exclusive Control into Logically Constrained Term Rewrite Systems Misaki Kojima, Naoki Nishida, Yutaka Matsubara, Masahiko Sakai (Nagoya Univ.) SS2019-46 |
To apply Logically Constrained Term Rewrite Systems (LCTRSs, for short) to program verification, a previous work targets... [more] |
SS2019-46 pp.31-36 |
SS |
2020-03-04 15:40 |
Okinawa |
(Cancelled but technical report was issued) |
Performance Evaluation of Automatic Bug Fixing Tool for Syntax Error Haruki Matsuo, Sho Ikeda, Yasutaka Kamei, Ryosuke Sato, Naoyasu Ubayashi (Kyushu Univ.) SS2019-47 |
In recent years, various automatic bug fixing tools have been developed.Among them, DeepFix, which fixes syntax errors i... [more] |
SS2019-47 pp.37-42 |
SS |
2020-03-04 16:05 |
Okinawa |
(Cancelled but technical report was issued) |
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) SS2019-48 |
Research on automatic program repair has been actively conducted in order to reduce debugging costs in software developm... [more] |
SS2019-48 pp.43-48 |
SS |
2020-03-04 16:30 |
Okinawa |
(Cancelled but technical report was issued) |
SS2019-49 |
(To be available after the conference date) [more] |
SS2019-49 pp.49-54 |
SS |
2020-03-05 09:30 |
Okinawa |
(Cancelled but technical report was issued) |
Hideaki Azuma, Shinsuke Matsumoto (Osaka Univ.), Hidetake Uwano (NIT), Shinji Kusumoto (Osaka Univ.) SS2019-50 |
(To be available after the conference date) [more] |
SS2019-50 pp.55-60 |
SS |
2020-03-05 09:55 |
Okinawa |
(Cancelled but technical report was issued) |
Judgment Model of Merge Conflict Resolution Pattern Using Machine Learning Meta-Information Shuya Shiraki, Tetsuya Kanda, Katsurou Inoue (Osaka Univ.) SS2019-51 |
Merge conflicts often occur in parallel development using version control system (VCS) . Resolving a conflict is cumbers... [more] |
SS2019-51 pp.61-66 |
SS |
2020-03-05 10:20 |
Okinawa |
(Cancelled but technical report was issued) |
Analysis of Software Performance Improvement Approach in Microbenchmarking Service Kazuya Saiki, Ryota Ando, Akinori Ihara (Wakayama Univ.) SS2019-52 |
A microbenchmark service is a web service to evaluate software performance (e.g., execution time, memory consumption, an... [more] |
SS2019-52 pp.67-72 |
SS |
2020-03-05 10:50 |
Okinawa |
(Cancelled but technical report was issued) |
A Type System for Information Flow Analysis of Rust Programs Kenta Hasegawa (Ritsumeikan Univ.), Hiroaki Kuwabara (Nanzan Univ.), Yoshitoshi Kunieda (Ritsumeikan Univ.) SS2019-53 |
In this paper, we propose a type system for Information Flow Analysis of Rust programs.
Programming language Rust has o... [more] |
SS2019-53 pp.73-78 |
SS |
2020-03-05 11:15 |
Okinawa |
(Cancelled but technical report was issued) |
Soundness of Hoare Logic based Verification in Continuation Language CbC Masataka Hokama, Shinji Kono (Ryukyu Univ) SS2019-54 |
(To be available after the conference date) [more] |
SS2019-54 pp.79-85 |
SS |
2020-03-05 11:40 |
Okinawa |
(Cancelled but technical report was issued) |
SS2019-55 |
[more] |
SS2019-55 pp.87-92 |
SS |
2020-03-05 12:05 |
Okinawa |
(Cancelled but technical report was issued) |
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.) SS2019-56 |
The demand for research on the hazard analysis of information systems and the construction of countermeasures have been ... [more] |
SS2019-56 pp.93-98 |
SS |
2020-03-05 13:30 |
Okinawa |
(Cancelled but technical report was issued) |
SHAP Value Coverage Testing Qiang Zhong (Hi-System21), Naoto Sato, Makoto Ishikawa (Hitachi), Kazuhiro Kodama (Hi-System21) SS2019-57 |
In recent years, machine learning has been applied to various businesses, and got a lot of attention. But in some areas,... [more] |
SS2019-57 pp.99-102 |
SS |
2020-03-05 13:55 |
Okinawa |
(Cancelled but technical report was issued) |
SuiteRec: Automatic Test Suite Recommendation System based on Code Clone Detection Ryosuke Kurachi (NAIST), Eunjong Choi (KIT), Hajimu Iida (NAIST) SS2019-58 |
[more] |
SS2019-58 pp.103-108 |
SS |
2020-03-05 14:20 |
Okinawa |
(Cancelled but technical report was issued) |
A Unit Testing Method for Event-Driven Processing Programs Hiroshi Hosobe (Hosei Univ.) SS2019-59 |
Event-driven programming is a paradigm that is widely used in many fields. Processing is a set of programming languages... [more] |
SS2019-59 pp.109-112 |
SS |
2020-03-05 14:45 |
Okinawa |
(Cancelled but technical report was issued) |
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) SS2019-60 |
Quality of the development document has been assured by human review so far.
Natural language processing is expected to... [more] |
SS2019-60 pp.113-118 |