IEICE Technical Report

Print edition: ISSN 0913-5685

Knowledge-Based Software Engineering

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

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

KBSE2006-17
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

KBSE2006-18
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

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

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

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

KBSE2006-22
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

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

KBSE2006-24
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