IEICE Technical Report

Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380

Software Science

Workshop Date : 2009-03-02 - 2009-03-03 / Issue Date : 2009-02-23

SS2008-48
Improving Pairwise Testing Using the Properties of the System under Test
Kentaro Hideshima, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.)
pp. 1 - 6

SS2008-49
A Support Method for Refactoring MVC based Web Applications to Dependency Injection Pattern
Yue Shen, Naoki Fukuyasu, Atsushi Yoshida, Tsuneo Ajisaka (Wakayama Univ.)
pp. 7 - 12

SS2008-50
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.)
pp. 13 - 16

SS2008-51
A verification of web applications by model checing apache cocoon flowscript
Takashi Baba, Shoji Yuen, Kiyoshi Agusa (Nagoya Univ.)
pp. 17 - 22

SS2008-52
A division technique for a SAT problem in a distributed SAT solver
Akihide Takami, Hidetomo Nabeshima, Koji Iwanuma (Yamanashi Univ)
pp. 23 - 28

SS2008-53
[Invited Talk] Model Checking of Timed Automata
Akio Nakata (Hiroshima City Univ.)
pp. 29 - 34

SS2008-54
Educational Compiler 'XCC' and its visualizing tool 'MieruCompiler'
Katsuhiko Gondow, Hiroya Nozaki (Tokyo Inst. of Tech.)
pp. 35 - 42

SS2008-55
Bug fixing and preliminary evaluation for x86 DRACULA
Seiya Ohsuga (Tokyo Insst. of Tech.), Takamitsu Tahara (NEC Co.), Katsuhiko Gondow (Tokyo Insst. of Tech.)
pp. 43 - 48

SS2008-56
A Software Design Support Tool Perseus with Reverse Engineering Function
Naoya Saisho, Tetsuro Kakeshita (Saga Univ.)
pp. 49 - 54

SS2008-57
Implementation and evaluation of the recognition algorithm for high-resolution colored 2D cord
Ryohei Terada, Keisuke Fujimoto, Yasuichi Nakayama (The Univ. of Electro-Commu.)
pp. 55 - 60

Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.

The Institute of Electronics, Information and Communication Engineers (IEICE), Japan