@techreport{oai:ipsj.ixsq.nii.ac.jp:00068344,
 author = {宗像, 一樹 and 藤原, 翔一朗 and 大木, 憲二 and 片山, 朝子 and 前田, 芳晴 and 上原, 忠弘 and 山本, 里枝子 and Kazuki, Munakata and Shoichiro, Fujiwara and Kenji, Oki and Asako, Katayama and Yoshiharu, Maeda and Tadahiro, Uehara and Rieko, Yamamoto},
 issue = {33},
 month = {Mar},
 note = {近年，基幹業務システムを Web アプリケーションとして構築する企業が増加しており，Web アプリケーションの確実な品質保証が重要な課題となっている．そこでモデル検査に代表されるような形式検証技術が適用されはじめているが，従来は Web アプリケーションの設計情報に対して適用されてきた．本論文では，フレームワークを利用して開発された Java による Web アプリケーションの実装システムに対してプログラムモデル検査技術を用いて設計情報などを検査する方法について述べる．, As Internet technology is becoming more widespread, increasingly more companies are utilizing web applications to create internal mission-critical systems. Given these circumstances, there is a need for technology capable of ensuring web application quality to satisfy customer requirements. Formal methods such as model checking begun to be applied to web application. However, most of them were for design level. In this paper, we explain the method to verify java implementation of framework based web application by using Program Model Checking technique.},
 title = {フレームワークに基づくWebアプリケーションのプログラムモデル検査},
 year = {2010}
}