SMTソルバーとPDG作成ツールを用いたJavaのテストケース自動導出手法の提案 (ソフトウェアサイエンス)
スポンサーリンク
概要
- 論文の詳細を見る
- 2012-03-13
著者
関連論文
- 純粋ポアズイユ,純粋クエットおよびクエット・ポアズイユ型バックステップ乱流の回復域の平均速度分布(流体工学,流体機械)
- G132 クエット・ポアズイユ型バックステップ乱流の実験的研究(G-13 せん断流れ(3),一般講演)
- モデル検査器とDaikonを用いた表明動的生成改善手法のシステム開発実プロジェクト教材への適用と評価
- モデル検査器とDaikonを用いた表明動的生成改善手法のシステム開発実プロジェクト教材への適用と評価
- SMTソルバーとPDG作成ツールを用いたJavaのテストケース自動導出手法の提案 (ソフトウェアサイエンス)
- SMTソルバーとPDG作成ツールを用いたJavaのテストケース自動導出手法の提案
- PDGとSMTソルバを利用した表明自動導出手法の提案と評価(ソフトウェア工学,ソフトウェア基礎・応用論文)
- SMTソルバーとPDG作成ツールを用いた Java のテストケース自動導出手法の提案