Thu, Nov 1 AM 10:00 - 11:25 |
(1) SS |
10:00-10:25 |
Weather change pattern generation algorithm for sightseeing scheduling |
Hirokazu Katoh, Yoshihiro Murata (Hiroshima City Univ.) |
(2) SS |
10:25-10:50 |
A SAT Encoding for Finding Operation Sequences of Malbolge that Implement Trit-wise Functions |
Satoshi Ando, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.) |
(3) SS |
10:50-11:15 |
Node Query Preservation for Deterministic Linear Top-Down Tree Transducers |
Kazuki Miyahara, Kenji Hashimoto, Hiroyuki Seki (NAIST) |
|
11:15-11:25 |
Break ( 10 min. ) |
Thu, Nov 1 AM 11:25 - 13:15 |
(4) |
11:25-11:50 |
|
(5) |
11:50-12:15 |
|
|
12:15-13:15 |
Break ( 60 min. ) |
Thu, Nov 1 PM 13:15 - 14:15 |
(6) SS |
13:15-13:40 |
Application of formal methods to network behavior dependent systems |
Nobuaki Yoshida (ASTEM), Han-Myung Chang, Atsushi Sawada (Nanzan Univ.), Yukihiro Nakamura (ASTEM) |
(7) SS |
13:40-14:05 |
A discussion of fault patterns for concurrent systems |
Han-Myung Chang, Masami Noro, Atsushi Sawada, Atsushi Yoshida, Yoshinari Hachisu, Reishi Yokomori (Nanzan Univ.) |
|
14:05-14:15 |
Break ( 10 min. ) |
Thu, Nov 1 PM 14:15 - 15:15 |
(8) |
14:15-14:40 |
|
(9) |
14:40-15:05 |
|
|
15:05-15:15 |
Break ( 10 min. ) |
Thu, Nov 1 PM 15:15 - 21:00 |
(10) |
15:15-15:40 |
|
(11) |
15:40-16:05 |
|
(12) SS |
16:05-16:30 |
A Report on the 27th IEEE/ACM International Conference on Automated Software Engineering (ASE 2012) |
Shinpei Hayashi (Tokyo Tech.), Katsuhisa Maruyama (Ritsumeikan Univ.), Motoshi Saeki (Tokyo Tech.) |
|
16:40-18:10 |
Break ( 90 min. ) |
|
19:00-21:00 |
Break ( 120 min. ) |
Fri, Nov 2 AM 09:20 - 11:10 |
(13) |
09:20-09:45 |
|
(14) |
09:45-10:10 |
|
(15) |
10:10-10:35 |
|
(16) |
10:35-11:00 |
|
|
11:00-11:10 |
Break ( 10 min. ) |
Fri, Nov 2 AM 11:10 - 13:00 |
(17) SS |
11:10-11:35 |
An Empirical Study of Clone Disappearances on Open Source Software Projects |
Keisuke Hotta, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) |
(18) SS |
11:35-12:00 |
A Clone Detection Approach for a Collection of Similar Large-Scale Software Products |
Eunjong Choi (Osaka Univ.), Norihiro Yoshida (NAIST), Yoshiki Higo, Katsuro Inoue (Osaka Univ.) |
|
12:00-13:00 |
Break ( 60 min. ) |
Fri, Nov 2 PM 13:00 - 14:25 |
(19) SS |
13:00-13:25 |
Extraction traceability links between requirements and implementation in the same series of software products |
Ryosuke Tsuchiya, Hironori Washizaki, Yoshiaki Fukazawa (Waseda Univ.), Tadahisa Kato, Masumi Kawakami, Kentaro Yoshimura (Hitachi) |
(20) SS |
13:25-13:50 |
A Method to Extract Use Cases From Web Applications With Analysis of Screenshot Trace |
Tsubasa Oikawa, Toshihiro Kamiya (FUN) |
|
14:15-14:25 |
Break ( 10 min. ) |
Fri, Nov 2 PM 14:25 - 15:50 |
(21) |
14:25-14:50 |
|
(22) |
14:50-15:15 |
|
|
15:15-15:25 |
Break ( 10 min. ) |
(23) |
15:25-15:50 |
|
Fri, Nov 2 PM 15:50 - 17:30 |
(24) |
15:50-16:15 |
|
(25) |
16:15-16:40 |
|
(26) |
16:40-17:05 |
|
(27) |
17:05-17:30 |
|