IEICE Technical Report

Online edition: ISSN 2432-6380

Volume 120, Number 194

Dependable Computing

[PREV] [NEXT]

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

[PROGRAM] [BULK PDF DOWNLOAD]

Table of contents

DC2020-22
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

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

DC2020-24
(See Japanese page.)
pp. 13 - 18

DC2020-25
(See Japanese page.)
pp. 19 - 24

DC2020-26
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

DC2020-27
(See Japanese page.)
pp. 31 - 36

DC2020-28
(See Japanese page.)
pp. 37 - 42

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

DC2020-30
(See Japanese page.)
pp. 49 - 54

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