@article{weko_62948_1, author = "桑原,寛明 and 金子,伸幸 and 渥美,紀寿 and 山本,晋一郎 and 阿草,清滋", title = "学と産の連携による基盤ソフトウェアの先進的開発:7.高信頼WebWare 生成技術:WebWare のテスト・解析・作成支援", journal = "情報処理", year = "2008", volume = "49", number = "11", pages = "1271--1276", month = "nov" }