IEICE Technical Report

Online edition: ISSN 2432-6380

Volume 120, Number 193

Software Science

[PREV] [NEXT]

[TOP] | [2017] | [2018] | [2019] | [2020] | [2021] | [2022] | [2023] | [Japanese] / [English]

[PROGRAM] [BULK PDF DOWNLOAD]

Table of contents

SS2020-5
verification of shell script behavior by comparing logs.
Hitoshi Kiryu (Shinshu Univ.), Satoshi Suda (Advanced Technology R&D Center, MITSUBISHI Electric), Shinpei Ogata, Kozo Okano (Shinshu Univ.)
pp. 1 - 6

SS2020-6
LTL Model Checking for Register Pushdown Systems
Ryoma Senda (Nagoya Univ.), Yoshiaki Takata (KUT), Hiroyuki Seki (Nagoya Univ.)
pp. 7 - 12

SS2020-7
(See Japanese page.)
pp. 13 - 18

SS2020-8
(See Japanese page.)
pp. 19 - 24

SS2020-9
An Empirical Study on Self-Admitted Technical Debt in Container-Based Virtualization
Hideaki Azuma, Shinsuke Matsumoto (Osaka Univ.), Yasutaka Kamei (Kyushu Univ.), Shinji Kusumoto (Osaka Univ.)
pp. 25 - 30

SS2020-10
(See Japanese page.)
pp. 31 - 36

SS2020-11
(See Japanese page.)
pp. 37 - 42

SS2020-12
A Prototype Tool to Predict Comment Line Positions for Code Review
Toshihiro Kamiya (Shimane Univ.)
pp. 43 - 48

SS2020-13
(See Japanese page.)
pp. 49 - 54

Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.