プログラム依存グラフの一貫性検査に基づく欠陥候補の検出手法
題名 | プログラム依存グラフの一貫性検査に基づく欠陥候補の検出手法 |
---|---|
著者 | 山田 吾郎, 吉田 則裕, 井上 克郎 |
文献 | 電子情報通信学会技術研究報告,SS2010-20, Vol.110, No.169, pp.23-28, 2010年8月. |
種類 | report / 研究会 |
日付 | 2010年8月5日 |
登壇発表者 | 山田 吾郎 |
会議の日程 | 2010年8月5日 |
会議の開催場所 | 旭川市民文化会館 |
登録日 | 2010年8月10日 |
番号 | 805 |
URL | http://www.info.kochi-tech.ac.jp/sigss/ |
学会名 | 電子情報通信学会 |
ファイル | |
引用形式 | @techreport{2010ID805, author = {山田, 吾郎 and 吉田, 則裕 and 井上, 克郎}, year = {2010}, month = {aug 5}, title = {プログラム依存グラフの一貫性検査に基づく欠陥候補の検出手法}, } |