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

===============================================
Technical Committee on Software Science (SS)
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.)

DATE:
Tue, Mar 6, 2018 11:30 - 17:00
Wed, Mar 7, 2018 10:00 - 16:00

PLACE:


TOPICS:


----------------------------------------
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)

----- Lunch ( 90 min. ) -----

----------------------------------------
Tue, Mar 6 PM (14:30 - 15:30)
----------------------------------------

(4) 14:30 - 15:00
(See Japanese page.)

(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)

----- 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.)

----- Break ( 30 min. ) -----

----------------------------------------
Wed, Mar 7 AM (11:30 - 13:00)
----------------------------------------

(10) 11:30 - 12:00
(See Japanese page.)

(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.)

----- 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)

----- Closing ( 30 min. ) -----

# Information for speakers
General Talk will have 20 minutes for presentation and 10 minutes for discussion.


=== Technical Committee on Software Science (SS) ===

# SECRETARY:
Yoshiki Higo (Osaka University)
TEL: 06-6879-4111
FAX: 06-6879-4114
E-mail: ist-u

# ANNOUNCEMENT:
# Latest information will be presented on the homepage
http://www.sa.cs.titech.ac.jp/sigss/


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.
 
[Cover and Index of IEICE Technical Report by Issue]
 

[Presentation and Participation FAQ] (in Japanese)
 

[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