佐々木 幸広 | 大阪大学大学院情報科学研究科
スポンサーリンク
概要
関連著者
-
楠本 真二
大阪大学大学院情報科学研究科
-
岡野 浩三
大阪大学大学院情報科学研究科
-
小林 和貴
大阪大学大学院情報科学研究科
-
佐々木 幸広
大阪大学大学院情報科学研究科
-
岡野 浩三
岡山大学大学院自然科学研究科
-
小林 和貴
アイシンエーアイ(株)
-
小林 和貴
大阪大学大学院情報科学研究科:(現)NTTデータ
著作論文
- SMTソルバーとPDG作成ツールを用いたJavaのテストケース自動導出手法の提案
- PDGとSMTソルバを利用した表明自動導出手法の提案と評価(ソフトウェア工学,ソフトウェア基礎・応用論文)
- SMTソルバーとPDG作成ツールを用いた Java のテストケース自動導出手法の提案