業績一覧

Javaに対するループインバリアントを含むDaikon生成アサーションの妥当性評価

, ,

電子情報通信学会論文誌D, vol.J91-D, no.11, pp.2721-2723 (2008)

タグ: adequacy, evaluation, assertions, java, including, loop, invariants, generated, daikon

@article{宮本敬三2008a,
  author = {宮本 敬三 and 岡野 浩三 and 楠本 真二},
  title = {Javaに対するループインバリアントを含むDaikon生成アサーションの妥当性評価},
  journal = {電子情報通信学会論文誌D},
  volume = {J91-D},
  number = {11},
  pages = {2721--2723},
  year = {2008},
  month = {nov}
}