柴山 秀雄 | 芝浦工業大学大学院電気電子情報工学専攻
スポンサーリンク
概要
芝浦工業大学大学院電気電子情報工学専攻 | 論文
- ソースコード解析を利用したモデル検査に基づく欠陥抽出手法の提案(ソフトウェア解析)
- B-022 ソースコード解析を利用したモデル検査に基づく欠陥抽出手法による組込みシステムの検証(B分野:ソフトウェア,一般論文)
- 2P-3 モデル検査に基づくプログラム欠陥抽出作業支援ツールの開発と実践(ソフトウェアの検査・検証,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- B-016 ソースコ一ドの解析を利用したモデル検査に基づく欠陥抽出手法の提案(ソフトウェア,一般論文)
- モデル検査を用いたプログラムにおける再現性の低い潜在的欠陥の抽出手法 : データベースロック問題の検証