IEICE Technical Report

Print edition: ISSN 0913-5685

Software Science

Workshop Date : 2006-10-26 / Issue Date : 2006-10-19

SS2006-40
Detecting Web Application Vulnerabilities with Static Analysis
Seikoh Nishita (Takushoku Univ.)
pp. 1 - 6

SS2006-41
Approach to Software Verification Based on Transforming from Procedural Programs to Rewrite Systems
Yuki Furuichi, Naoki Nishida, Masahiko Sakai, Keiichirou Kusakari, Toshiki Sakabe (Nagoya Univ.)
pp. 7 - 12

SS2006-42
Security Analysis of Information Flow for An Object-Oriented Language with Exception Handling
Sho Kurokawa, Hiroaki Kuwabara (Nagoya Univ), Shinichiro Yamamoto (Aichi Prefectural Univ), Toshiki Sakabe, Masahiko Sakai, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ)
pp. 13 - 18

SS2006-43
A Trace and Analysis of Source Code Change Chain on Maintenance Phase
Jun Morisaki, Hirohisa Aman, Hiroyuki Yamada (Ehime Univ.)
pp. 19 - 24

SS2006-44
A Study of Relationship between Class Cohesion and Corrective Maintainability
Junichi Yamashita, Hirohisa Aman, Hiroyuki Yamada (Ehime Univ.)
pp. 25 - 30

SS2006-45
A Relationship between Source Code External Dependency and Maintainability
Michio Doi, Hirohisa Aman, Hiroyuki Yamada (Ehime Univ.)
pp. 31 - 36

SS2006-46
Example programs generated by GeneSys and proposal of Introduction rule
Satoru Kondo, Masahiko Sakai, Naoki Nishida, Toshiki Sakabe, Keiichirou Kusakari (Nagoya Univ.)
pp. 37 - 42

SS2006-47
Supporting Generation of Exceptional Scenarios with a Normal Scenario
Hiroki Shudo, Taishi Yamamoto, Atsushi Ohnishi (Ritsumeikan Univ.)
pp. 43 - 48

SS2006-48
Report on the 18th International Conference on Advanced Information Systems Engineering
Shinobu Saito, Shuichiro Yamamoto (NTT DATA), Motoshi Saeki (Tokyo Institute of Technology)
pp. 49 - 54

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