@article{oai:ipsj.ixsq.nii.ac.jp:00062948,
 author = {桑原, 寛明 and 金子, 伸幸 and 渥美, 紀寿 and 山本, 晋一郎 and 阿草, 清滋 and Hiroaki, KUWABARA and Nobuyuki, KANEKO and Noritoshi, ATSUMI and Shinichiro, YAMAMOTO and Kiyoshi, AGUSA},
 issue = {11},
 journal = {情報処理},
 month = {Nov},
 pages = {1271--1276},
 title = {学と産の連携による基盤ソフトウェアの先進的開発:7.高信頼WebWare 生成技術：WebWare のテスト・解析・作成支援},
 volume = {49},
 year = {2008}
}