PDGとSMTソルバを用いたJavaプログラム解析器の提案
(2013)
SESワークショップ2013
タグ: analyzing, java, method, pdg, program, smt, solver
@inproceedings{佐々木幸広2013,
author = {佐々木 幸広 and 岡野 浩三 and 楠本 真二},
title = {PDGとSMTソルバを用いたJavaプログラム解析器の提案},
year = {2013},
month = {sep}
}