|
|
| Chair |
|
Akio Nakata (Hiroshima City Univ.) |
| Vice Chair |
|
Takashi Kobayashi (Tokyo Inst. of Tech.) |
| Secretary |
|
Yoshiki Higo (Osaka Univ.), Kazuyuki Shima (Hiroshima City Univ.) |
| Assistant |
|
Shinpei Hayashi (Tokyo Inst. of Tech.) |
|
| Conference Date |
Wed, Mar 4, 2020 13:00 - 16:55
Thu, Mar 5, 2020 09:30 - 15:10 |
| Topics |
|
| Conference Place |
|
| Announcement |
This workshop has been cancelled. However, the technical report will be issued. |
Copyright
and
reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
| Registration Fee |
This workshop will be held as the IEICE workshop in fully electronic publishing. Registration fee will be necessary except the speakers and participants other than the participants to workshop(s) in non-electronic publishing. See the registration fee page. We request the registration fee or presentation fee to participants who will attend the workshop(s) on SS. |
Wed, Mar 4 PM E1
13:00 - 14:15 |
| (1) |
13:00-13:25 |
Analysis of Problem Based Learning to Enhance Competency  SS2019-41 |
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 SS2019-42 |
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 SS2019-43 |
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 SS2019-44 |
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 SS2019-45 |
Yuki Machigashira, Akio Nakata (Hiroshima City Univ.) |
| (6) |
15:10-15:35 |
Transforming Programs with Exclusive Control into Logically Constrained Term Rewrite Systems SS2019-46 |
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 SS2019-47 |
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 SS2019-48 |
Kyosuke Yamate, Takumi Shuto, Sho Asada, Ryosuke Sato, Yasutaka Kamei, Naoyasu Ubayasi (Kyushu Univ) |
| (9) |
16:30-16:55 |
SS2019-49 |
|
Thu, Mar 5 AM E3
09:30 - 10:45 |
| (10) |
09:30-09:55 |
SS2019-50 |
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 SS2019-51 |
Shuya Shiraki, Tetsuya Kanda, Katsurou Inoue (Osaka Univ.) |
| (12) |
10:20-10:45 |
Analysis of Software Performance Improvement Approach in Microbenchmarking Service SS2019-52 |
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 SS2019-53 |
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 SS2019-54 |
Masataka Hokama, Shinji Kono (Ryukyu Univ) |
| (15) |
11:40-12:05 |
SS2019-55 |
|
| (16) |
12:05-12:30 |
An Approach of Deriving Hazard Transition Series by Cooperation of STAMP/STPA and Model Checking SS2019-56 |
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 SS2019-57 |
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 SS2019-58 |
Ryosuke Kurachi (NAIST), Eunjong Choi (KIT), Hajimu Iida (NAIST) |
| (19) |
14:20-14:45 |
A Unit Testing Method for Event-Driven Processing Programs SS2019-59 |
Hiroshi Hosobe (Hosei Univ.) |
| (20) |
14:45-15:10 |
Morpheme Pattern Matcher morfgrep and Its Application in Software Development SS2019-60 |
Tsuneo Nakanishi, Kenji Yoshimura, Hokuto Ototake, Tosifumi Tanabe, Hiroki Furusho (Fukuoka Univ.), Yoichi Nishiura, Masaki Asano (Aisin Seiki) |
| Announcement for Speakers |
| General Talk | Each speech will have 20 minutes for presentation and 5 minutes for discussion. |
| Contact Address and Latest Schedule Information |
| SS |
Technical Committee on Software Science (SS) [Latest Schedule]
|
| Contact Address |
Yoshiki Higo (Osaka University)
TEL: 06-6879-4111
FAX: 06-6879-4114
E- :    ist  -u |
| Announcement |
Latest information will be presented on the homepage
http://www.sa.cs.titech.ac.jp/sigss/ |
Last modified: 2020-03-02 08:40:55
|