IEICE Technical Committee Submission System
Conference Schedule
Online Proceedings
[Sign in]
Tech. Rep. Archives
    [Japanese] / [English] 
( Committee/Place/Topics  ) --Press->
 
( Paper Keywords:  /  Column:Title Auth. Affi. Abst. Keyword ) --Press->

Technical Committee on Software Science (SS)  (Searched in: 2019)

Search Results: Keywords 'from:2020-03-04 to:2020-03-04'

[Go to Official SS Homepage (Japanese)] 
Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Ascending)
 Results 1 - 20 of 20  /   
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
 Results 1 - 20 of 20  /   
Choose a download format for default settings. [NEW !!]
Text format pLaTeX format CSV format BibTeX format
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)


[Return to Top Page]

[Return to IEICE Web Page]


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan