プログラム依存グラフの一貫性検査に基づく欠陥候補の検出手法
Title | プログラム依存グラフの一貫性検査に基づく欠陥候補の検出手法 |
---|---|
Authors | 山田 吾郎, 吉田 則裕, 井上 克郎 |
Reference | 電子情報通信学会技術研究報告,SS2010-20, Vol.110, No.169, pp.23-28, 2010年8月. |
Type | report / 研究会 |
Date | Aug 5, 2010 |
Presenter | 山田 吾郎 |
Agenda of conference | Aug 5, 2010 |
Place of conference | 旭川市民文化会館 |
Date of register | Aug 10, 2010 |
ID | 805 |
URL | http://www.info.kochi-tech.ac.jp/sigss/ |
Society name | 電子情報通信学会 |
Files | |
Citation | @techreport{2010ID805, author = {山田, 吾郎 and 吉田, 則裕 and 井上, 克郎}, year = {2010}, month = {aug 5}, title = {プログラム依存グラフの一貫性検査に基づく欠陥候補の検出手法}, } |