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 AM
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. ) |
: 
ist
-u