IEICE Technical Committee Submission System
Advance Program
Online Proceedings
[Sign in]
Tech. Rep. Archives
 Go Top  Go Back   Prev DC Conf / Next DC Conf [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


Technical Committee on Dependable Computing (DC) [schedule] [select]
Chair Hiroshi Takahashi (Ehime Univ.)
Vice Chair Tatsuhiro Tsuchiya (Osaka Univ.)
Secretary Masayuki Arai (Nihon Univ.), Kazuteru Namba (Chiba Univ.)

Technical Committee on Software Science (SS) [schedule] [select]
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 
Copyright
and
reproduction
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)
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 SS2021-13 DC2021-18 Riku Yamagami, Takashi Kobayashi (Tokyo Tech.)
(2) 13:55-14:20 Predict failure of test case generation SS2021-14 DC2021-19 Ryo Soga, Hideyuki Kanuka (Hitachi, Ltd.)
(3) 14:20-14:45 * SS2021-15 DC2021-20 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 SS2021-16 DC2021-21
(5) 15:25-15:50 A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Register Automata SS2021-17 DC2021-22 Akira Onishi, Ryoma Senda (Nagoya Univ.), Yoshiaki Takata (KUT), Hiroyuki Seki (Nagoya Univ.)

Announcement for Speakers
General TalkEach 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--mail: 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--mail: c 
Announcement Latest information will be presented on the homepage:
https://www.ieice.org/iss/ss/


Last modified: 2021-10-15 18:37:51


Notification: Mail addresses are partially hidden against SPAM.

[Download Paper's Information (in Japanese)] <-- Press download button after click here.
 
[Cover and Index of IEICE Technical Report by Issue]
 

[Presentation and Participation FAQ] (in Japanese)
 

[Return to SS Schedule Page]   /   [Return to DC Schedule Page]   /  
 
 Go Top  Go Back   Prev DC Conf / Next DC Conf [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


[Return to Top Page]

[Return to IEICE Web Page]


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan