Thu, Jun 30 AM
09:55 - 12:00 |
| |
09:55-10:00 |
Opening Address ( 5 min. ) |
| |
10:00-10:30 |
"A Cost-Driven Hardware/Software Co-Design Lifecycle Transition Model," Dong-Hyun Lee, Hoh Peter In (Korea University) ( 30 min. ) |
| (1) |
10:30-11:00 |
An Extention of DynAlloy with Concurrency |
Takuya Iwatsuka, Shoji Yuen (Nagoya Univ.) |
| (2) |
11:00-11:30 |
Verification of BPEL Workflows Design using Model Checking |
Ryosuke Nakashiro, Yasutaka Kamei, Naoyasu Ubayashi (Kyushu Univ.), Shin Nakajima (NII), Akihito Iwai (Denso) |
| (3) |
11:30-12:00 |
An Introduction of a Formal Method in PBL: A Case Report |
Shinya Yamada, Tomohiro Iwamoto, Tsunayuki Shinozawa, Mitsuhide Honda, Ryo Miyashita (Kyushu Univ.), Takashi Iwasaki, Yasuo Inoue (FUJITSU QNET), Keijiro Araki, Shigeru Kusakabe, Yoichi Omori (Kyushu Univ.) |
| |
12:00-13:00 |
Lunch Break ( 60 min. ) |
Thu, Jun 30 PM
13:00 - 15:00 |
| |
13:00-13:30 |
"TMO-based Automatic Code Generator for Real-time Embedded Software," Ho-Dong Ryu, Woojin Lee (Kyungbuk National University) ( 30 min. ) |
| (4) |
13:30-14:00 |
Static Analysis for k-secrecy against Inference Attacks |
Chittaphone Phonharath, Kenji Hashimoto, Hiroyuki Seki (NAIST) |
| (5) |
14:00-14:30 |
ReceiptLog: A Consumer-Oriented Lifelog Service for Storing and Reviewing Daily Receipts |
Seiki Tokunaga, Shinsuke Matsumoto, Masahide Nakamura (Kobe Univ.) |
| (6) |
14:30-15:00 |
Evaluating Lifelog Common Data Model and Mashup API through Practical Application Development |
Akira Shimojo, Shinsuke Matsumoto, Masahide Nakamura (Kobe Univ) |
| |
15:00-15:30 |
Break ( 30 min. ) |
Thu, Jun 30 PM
15:30 - 17:30 |
| |
15:30-16:00 |
"Generating Model of Reactive System through LTL Synthesis," Ryoungkwo Kwon, Gihwon Kwon (Kyonggi University) ( 30 min. ) |
| (7) |
16:00-16:30 |
A Prototype of Comparison Tool for Android Applications Based on Difference of API Calling Sequences |
Tetsuya Kanda, Yuki Manabe, Takashi Ishio, Makoto Matsushita, Katsuro Inoue (Osaka Univ.) |
| (8) |
16:30-17:00 |
A Tool For Detecting Duplicated Test Code Based On Test Coverage to Assist TDD |
Kazunori Sakamoto (Waseda Univ.), Takuto Wada (Towers Quest), Hironori Washizaki, Yoshiaki Fukazawa (Waseda Univ.) |
| (9) |
17:00-17:30 |
Evaluating Habituation Effect on Conversational Voice Control in Home Network System |
Noriyuki Matsubara, Shinsuke Matsumoto, Masahide Nakamura (Kobe Univ.) |
Fri, Jul 1 AM
10:00 - 12:00 |
| |
10:00-10:30 |
"A Scalable Distributed Concolic Testing Approach," Youngjoo Kim, Moonzoo Kim (KAIST) ( 30 min. ) |
| (10) |
10:30-11:00 |
Finding Code Clones for Refactoring with Clone Metrics: A Case Study of Open Source Software |
Eunjong Choi (Osaka Univ.), Norihiro Yoshida (NAIST), Takashi Ishio, Katsuro Inoue (Osaka Univ.), Tateki Sano (NEC) |
| (11) |
11:00-11:30 |
An Approach to Investigating How a Lack of Software Refactoring Effects Defect Density |
Kenji Fujiwara, Kyohei Fushida, Norihiro Yoshida, Hajimu Iida (NAIST) |
| (12) |
11:30-12:00 |
Preliminary Assessment of Software Metrics based on Coding Standards Violations |
Yasunari Takai, Takashi Kobayashi, Kiyoshi Agusa (Nagoya Univ.) |
: 
a
-
