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