Online edition: ISSN 2432-6380
[TOP] | [2018] | [2019] | [2020] | [2021] | [2022] | [2023] | [2024] | [Japanese] / [English]
DC2021-18
Suggesting Overlooked Changes based on Co-change Relation Learning
Riku Yamagami, Takashi Kobayashi (Tokyo Tech.)
pp. 1 - 6
DC2021-19
Predict failure of test case generation
Ryo Soga, Hideyuki Kanuka (Hitachi, Ltd.)
pp. 7 - 12
DC2021-20
*
Tsukasa Ozawa, Mikio Aoyama, Atsushi Sawada, Masami Noro (Nanzan Univ)
pp. 13 - 18
DC2021-21
(See Japanese page.)
pp. 19 - 22
DC2021-22
A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Register Automata
Akira Onishi, Ryoma Senda (Nagoya Univ.), Yoshiaki Takata (KUT), Hiroyuki Seki (Nagoya Univ.)
pp. 23 - 28
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.