モデル検査を用いたWebアプリケーションのテストケース生成 (ソフトウェアサイエンス)

Icons representing 記事

モデル検査を用いたWebアプリケーションのテストケース生成

(ソフトウェアサイエンス)

Call No. (NDL)
Z16-940
Bibliographic ID of National Diet Library
027719778
Material type
記事
Author
笠原 大和ほか
Publisher
東京 : 電子情報通信学会
Publication date
2016-10
Material Format
Paper
Journal name
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 116(277):2016.10.27・28
Publication Page
p.37-42
View All

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
記事
Author/Editor
笠原 大和
横川 智教
佐藤 洋一郎
有本 和民
Alternative Title
Model Based Test Case Generation for Web Application Using Model Checking
Periodical title
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報
No. or year of volume/issue
116(277):2016.10.27・28
Volume
116
Issue
277