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

Technical Committee on Software Science (SS) [schedule] [select]
Chair Kazuhiro Ogata (JAIST)
Vice Chair Akio Nakata (Hiroshima City Univ.)
Secretary Takashi Kobayashi (Tokyo Inst. of Tech.), Yoshiki Higo (Osaka Univ.)
Assistant Kazuyuki Shima (Hiroshima City Univ.)

Conference Date Tue, Mar 6, 2018 11:30 - 17:00
Wed, Mar 7, 2018 10:00 - 16:00
Conference Place  
Participation Fee This workshop will be held as the IEICE workshop in fully electronic publishing. Participant fee will be necessary except the speakers and participants other than the participants to workshop(s) in non-electronic publishing. See the participant fee page. We request the participant fee to participants who will attend the workshop(s) on SS.

Tue, Mar 6 AM 
11:30 - 13:00
(1) 11:30-12:00 Model Checking Application to the Railway Crossing Problem for STAMP/STPA using Timed Automaton Kozo Okano, Shinpei Ogata, Pan Yang (Shinshu Univ.), Keishi Okamoto (Sendai National College of Tech.)
(2) 12:00-12:30 A symbolic Zone-based reachability analysis for dense-timed pushdown automata with freezing clocks Shoji Yuen, Sho Hiraoka (Nagoya Univ.)
(3) 12:30-13:00 Packer identification based on Malware analyzer BE-PUM Mizuhito Ogawa (JAIST)
  13:00-14:30 Lunch ( 90 min. )
Tue, Mar 6 PM 
14:30 - 15:30
(4) 14:30-15:00
(5) 15:00-15:30 An Investigation into the Characteristics of Source Code for Supporting Inline Method Yuki Yamada, Kyohei Uemura, Eunjong Choi (NAIST), Norihiro Yoshida (Nagoya Univ.), Hajimu Iida (NAIST)
  15:30-16:00 Break ( 30 min. )
Tue, Mar 6 PM 
16:00 - 17:00
(6) 16:00-16:30 Junnosuke Matsumoto, Yoshiki Higo, Kento Shimonaka, Shinji Kusumoto (Osaka Univ.)
(7) 16:30-17:00 Toward Visualization of Discussions about Software Quality in OSS Development Shunta Nakanishi, Eunjong Choi, Hajimu Iida (NAIST)
Wed, Mar 7 AM 
10:00 - 11:00
(8) 10:00-10:30 Hiroto Tanaka, Shinsuke Matsumoto, Shinji Kusumoto (Osaka Univ.)
(9) 10:30-11:00 Ryo Arima, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.)
  11:00-11:30 Break ( 30 min. )
Wed, Mar 7 PM 
11:30 - 13:00
(10) 11:30-12:00
(11) 12:00-12:30 A Determination Method of Locality Sensitive Hashing Parameters for Code Clone Detection Shogo Tokui (Osaka Univ.), Norihiro Yoshida (Nagoya Univ.), Eunjong Choi (NAIST), Katsuro Inoue (Osaka Univ.)
(12) 12:30-13:00 Termination Verification of Functional Programs via Regression Prediction of Ranking Function Daiki Muramoto, Ryosuke Sato, Naoyasu Ubayashi, Yasutaka Kamei (Kyushu Univ.)
  13:00-15:00 Lunch ( 120 min. )
Wed, Mar 7 PM 
15:00 - 16:00
(13) 15:00-15:30 Suggestion of Test Case Generation Method with Priority Based on Use Case of User for System Test Emi Saito, Ai Toshikuni, Yuichiroh Nakagawa (Hitachi)
(14) 15:30-16:00 Uncertainty in Machine Learning Software from Quality Assurance Viewpoints Shin Nakajima (NII)
  16:00-16:30 Closing ( 30 min. )

Announcement for Speakers
General TalkEach speech will have 20 minutes for presentation and 10 minutes for discussion.

Contact Address and Latest Schedule Information
SS Technical Committee on Software Science (SS)   [Latest Schedule]
Contact Address Yoshiki Higo (Osaka University)
TEL: 06-6879-4111
FAX: 06-6879-4114
E-: ist-u 
Announcement Latest information will be presented on the homepage

Last modified: 2018-01-16 17:45:21

Notification: Mail addresses are partially hidden against SPAM.

[Download Paper's Information (in Japanese)] <-- Press download button after click here.

[On-Site Price List of Paper Version of Proceedings (Technical Report)] (in Japanese)
[Presentation and Participation FAQ] (in Japanese)
[Cover and Index of IEICE Technical Report by Issue]

[Return to SS Schedule Page]   /  
 Go Top  Go Back   Prev SS Conf / Next SS 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