|
Chair |
|
Hiroshi Takahashi (Ehime Univ.) |
Vice Chair |
|
Tatsuhiro Tsuchiya (Osaka Univ.) |
Secretary |
|
Masayuki Arai (Nihon Univ.), Kazuteru Namba (Chiba Univ.) |
|
|
Chair |
|
Takashi Kobayashi (Tokyo Inst. of Tech.) |
Vice Chair |
|
Kozo Okano (Shinshu Univ.) |
Secretary |
|
Kazuyuki Shima (Hiroshima City Univ.), Shinpei Hayashi (Tokyo Inst. of Tech.) |
Assistant |
|
Shinpei Ogata (Shinshu Univ.) |
|
Conference Date |
Tue, Oct 19, 2021 13:30 - 15:50 |
Topics |
|
Conference Place |
Online |
Notes on Review |
This article is a technical report without peer review, and its polished version will be published elsewhere. |
Registration Fee |
This workshop will be held as the IEICE workshop in fully electronic publishing. Registration fee will be necessary except the speakers and participants other than the participants to workshop(s) in non-electronic publishing. See the registration fee page. We request the registration fee or presentation fee to participants who will attend the workshop(s) on SS, DC. |
Tue, Oct 19 PM 13:30 - 14:45 |
(1) |
13:30-13:55 |
Suggesting Overlooked Changes based on Co-change Relation Learning |
Riku Yamagami, Takashi Kobayashi (Tokyo Tech.) |
(2) |
13:55-14:20 |
Predict failure of test case generation |
Ryo Soga, Hideyuki Kanuka (Hitachi, Ltd.) |
(3) |
14:20-14:45 |
* |
Tsukasa Ozawa, Mikio Aoyama, Atsushi Sawada, Masami Noro (Nanzan Univ) |
|
14:45-15:00 |
Break ( 15 min. ) |
Tue, Oct 19 PM 15:00 - 15:50 |
(4) |
15:00-15:25 |
|
|
(5) |
15:25-15:50 |
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.) |
Announcement for Speakers |
General Talk | Each speech will have 20 minutes for presentation and 5 minutes for discussion. |
Contact Address and Latest Schedule Information |
DC |
Technical Committee on Dependable Computing (DC) [Latest Schedule]
|
Contact Address |
Masayuki Arai (College of Industrial Technology, Nihon Univ.)
E-: ain-u |
SS |
Technical Committee on Software Science (SS) [Latest Schedule]
|
Contact Address |
Shinpei Hayashi (Tokyo Institute of Technology)
TEL: +81-3-5734-3213
E-: c |
Announcement |
Latest information will be presented on the homepage:
https://www.ieice.org/iss/ss/ |
Last modified: 2021-10-15 18:37:51
|