1B-3 SMT Solverを利用したWebアプリケーション用テストデータの生成(テスト・検証,一般セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
スポンサーリンク
概要
- 論文の詳細を見る
- 2010-03-08
著者
-
山本 里枝子
富士通研究所ソフトウェア研究部
-
上原 忠弘
富士通研究所ソフトウェア研究部
-
山本 里枝子
富士通研究所
-
片山 朝子
富士通研究所
-
前田 芳晴
株式会社富士通研究所
-
大木 憲二
株式会社富士通研究所
-
宗像 一樹
株式会社富士通研究所
-
藤原 翔一朗
株式会社富士通研究所
-
片山 朝子
株式会社富士通研究所
-
上原 忠弘
株式会社富士通研究所
-
山本 里枝子
株式会社富士通研究所
-
山本 里枝子
株式会社 富士通研究所
-
藤原 翔一朗
富士通研究所ソフトウェアイノベーション研究部
-
宗像 一樹
富士通研究所ソフトウェアイノベーション研究部
-
前田 芳晴
富士通研究所ソフトウェアイノベーション研究部
-
大木 憲二
富士通研究所ソフトウェアイノベーション研究部
-
上原 忠弘
富士通研究所ソフトウェアイノベーション研究部
関連論文
- ソフトウェアエンジニアリングシンポジウム2008開催報告(調査・報告・教育)
- アスペクト指向を利用したWebアプリケーションテストの自動化(一般セッション E_テスト・検証)
- 第5回パターン指向開発とパターンの今後(パターン : ソフトウェア開発ノウハウの再利用)
- パターン : ソフトウェア開発ノウハウの再利用 : 第1回 パターン発展と現状
- ビジネスアプリケーションむけパターン体系とその適用
- 再利用の新しい枠組みを求めて : オブジェクト指向開発でのパターンシステム
- ソフトウェア開発プロセス支援システムSOFTPIEの開発
- プロセス支援システムSOFTPIEの開発
- 視覚的ソフト開発環境vie(3)アニメーションマニュアル適用例
- 視覚的ソフト開発環境vie(2)アニメーションマニュアル概要
- 視覚的ソフト開発環境vie(1)構想
- 並列DBのための高速で高信頼な分散ロック機構
- NaVigation Markup Language (NVML)の仕様と応用
- ウィンターワークショップ2006・イン・鴨川参加報告
- ディペンダビリティ確保にむけたアスペクト指向技術動向
- ディペンダビリティ確保にむけたアスペクト指向技術動向
- フレームワークに基づくWebアプリケーションのプログラムモデル検査
- 特集「ソフトウェア工学の変化と深化」の編集にあたって
- 編集にあたって(女性たちが拓くIT-ITダイバーシティフォーラムより-)
- Webアプリケーションの統合テスト環境
- SIPアプリケーションフレームワークの開発と適用(開発支援環境・自動化技術,ソフトウェア工学の理論と実践)
- XMLアプリケーション開発のためのパターン体系の開発(オブジェクト指向とWeb技術)
- 金融アプリケーション開発におけるパターン適用
- プロダクトベース・プロセス支援の提案と実現
- プロダクトベース・プロセス支援の提案と実現
- 92-29 CASE環境におけるプロセス統合
- LISP-PAL : プログラミング支援のための自然言語による質問応答システム
- ディペンダビリティ確保にむけたアスペクト指向技術動向
- ウィンターワークショップ・イン・金沢報告 : 再利用
- プロジェクト管理ツールとプロセス管理ツールの連携の実現
- 組織構造を反映したプロセス記述とその運用について
- B-006 アクティビティグラフからのテストケース生成技術(B分野:ソフトウェア)
- フレームワークに基づく Web アプリケーションのプログラムモデル検査
- 1B-3 SMT Solverを利用したWebアプリケーション用テストデータの生成(テスト・検証,一般セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- 高信頼UNIX「風雅」の故障管理機構
- アプリケーション品質・検証技術への新たな取組み (特集 富士通SEのものづくり革新への取組み)
- 道案内用マークアップ言語NVMLを利用したシステムの構築
- デモ10 道案内用マークアップ言語NVML : 基本ツールとその利用法
- 2T-7 道案内用マークアップ言語NVML : 概要および言語の特徴