Javaに対するDaikonを用いたインバリアント自動生成のための汎用基盤ツール
第7回情報科学技術フォーラム講演論文集 (2008)
タグ: infrastructure, tool, automatic, generation, invariants, java, daikon
@inproceedings{宮本敬三2008,
author = {宮本 敬三 and 堀 直哉 and 岡野 浩三 and 楠本 真二},
title = {Javaに対するDaikonを用いたインバリアント自動生成のための汎用基盤ツール},
booktitle = {第7回情報科学技術フォーラム講演論文集},
year = {2008},
month = {aug}
}