業績一覧

PDGとSMTソルバを利用した表明自動導出手法の提案と評価

, , ,

電子情報通信学会論文誌D, vol.J96-D, no.11, pp.2657-2668 (2013)

タグ: assertion, automated, generation, pdg, smt-solver

@article{小林和貴2013,
  author = {小林 和貴 and 佐々木 幸広 and 岡野 浩三 and 楠本 真二},
  title = {PDGとSMTソルバを利用した表明自動導出手法の提案と評価},
  journal = {電子情報通信学会論文誌D},
  volume = {J96-D},
  number = {11},
  pages = {2657--2668},
  year = {2013},
  month = {nov}
}