SMTソルバと統計解析を用いたJavaプログラム解析器の提案
2013.
タグ: analysis, analyzing, java, method, pdg, program, regression
@inproceedings{佐々木幸広2013a,
author = {佐々木 幸広 and 岡野 浩三 and 楠本 真二},
title = {SMTソルバと統計解析を用いたJavaプログラム解析器の提案},
year = {2013},
month = {nov}
}@inproceedings{佐々木幸広2013a,
author = {佐々木 幸広 and 岡野 浩三 and 楠本 真二},
title = {SMTソルバと統計解析を用いたJavaプログラム解析器の提案},
year = {2013},
month = {nov}
}