@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00171736,
 author = {豊田, 貴志 and 佐藤, 智一 and 大, 津金光 and 横田, 隆史 and 馬場, 敬信},
 book = {第67回全国大会講演論文集},
 issue = {1},
 month = {Mar},
 pages = {193--194},
 publisher = {情報処理学会},
 title = {バイナリレベル変数解析のための効率的な実行時チェックコードの検討},
 volume = {2005},
 year = {2005}
}