Mon, Mar 2 PM
14:00 - 18:00 |
| (1) |
14:00-14:30 |
Improving Pairwise Testing Using the Properties of the System under Test |
Kentaro Hideshima, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.) |
| (2) |
14:30-15:00 |
A Support Method for Refactoring MVC based Web Applications to Dependency Injection Pattern |
Yue Shen, Naoki Fukuyasu, Atsushi Yoshida, Tsuneo Ajisaka (Wakayama Univ.) |
| |
15:00-15:15 |
Break ( 15 min. ) |
| (3) |
15:15-15:45 |
An Application development using the object oriented language based on an improvement taint model |
Kiyotaka Atsumi (Suzuka National Coll. of Tech.), Shigeru Masuyama (Toyohashi Univ. of Tech.) |
| (4) |
15:45-16:15 |
A verification of web applications by model checing apache cocoon flowscript |
Takashi Baba, Shoji Yuen, Kiyoshi Agusa (Nagoya Univ.) |
| (5) |
16:15-16:45 |
A division technique for a SAT problem in a distributed SAT solver |
Akihide Takami, Hidetomo Nabeshima, Koji Iwanuma (Yamanashi Univ) |
| |
16:45-17:00 |
Break ( 15 min. ) |
| (6) |
17:00-18:00 |
[Invited Talk]
Model Checking of Timed Automata |
Akio Nakata (Hiroshima City Univ.) |
Tue, Mar 3 AM
09:30 - 11:45 |
| (7) |
09:30-10:00 |
Educational Compiler 'XCC' and its visualizing tool 'MieruCompiler' |
Katsuhiko Gondow, Hiroya Nozaki (Tokyo Inst. of Tech.) |
| (8) |
10:00-10:30 |
Bug fixing and preliminary evaluation for x86 DRACULA |
Seiya Ohsuga (Tokyo Insst. of Tech.), Takamitsu Tahara (NEC Co.), Katsuhiko Gondow (Tokyo Insst. of Tech.) |
| |
10:30-10:45 |
Break ( 15 min. ) |
| (9) |
10:45-11:15 |
A Software Design Support Tool Perseus with Reverse Engineering Function |
Naoya Saisho, Tetsuro Kakeshita (Saga Univ.) |
| (10) |
11:15-11:45 |
Implementation and evaluation of the recognition algorithm for high-resolution colored 2D cord |
Ryohei Terada, Keisuke Fujimoto, Yasuichi Nakayama (The Univ. of Electro-Commu.) |
: 
n
