Online edition: ISSN 2432-6380
[TOP] | [2018] | [2019] | [2020] | [2021] | [2022] | [2023] | [2024] | [Japanese] / [English]
SS2021-13
Suggesting Overlooked Changes based on Co-change Relation Learning
Riku Yamagami, Takashi Kobayashi (Tokyo Tech.)
pp. 1 - 6
SS2021-14
Predict failure of test case generation
Ryo Soga, Hideyuki Kanuka (Hitachi, Ltd.)
pp. 7 - 12
SS2021-15
*
Tsukasa Ozawa, Mikio Aoyama, Atsushi Sawada, Masami Noro (Nanzan Univ)
pp. 13 - 18
SS2021-16
(See Japanese page.)
pp. 19 - 22
SS2021-17
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.