青木 善貴 | 芝浦工業大学大学院工学研究科電気電子情報工学専攻
スポンサーリンク
概要
関連著者
-
松浦 佐江子
芝浦工業大学
-
青木 善貴
芝浦工業大学大学院工学研究科電気電子情報工学専攻
-
青木 善貴
芝浦工業大学大学院電気電子情報工学専攻
-
松浦 佐江子
芝浦工業大学システム理工学部
-
松浦 佐江子
芝浦工業大学システム工学部電子情報システム学科
-
松浦 佐江子
芝浦工業大学大学院 工学研究科
-
松浦 佐江子
芝浦工業大学大学院工学研究科電気電子情報工学専攻
-
小形 真平
芝浦工業大学大学院工学研究科
-
松浦 佐江子
芝浦工業大学大学院
-
奥田 博隆
芝浦工業大学システム工学部電子情報システム学科
-
小形 真平
芝浦工業大学大学院工学研究科機能制御システム専攻
-
小形 真平
信州大学工学部
-
小形 真平
芝浦工業大学 大学院工学研究科 機能制御システム専攻
-
西村 一彦
株式会社ボイスリサーチ
-
谷沢 智史
株式会社ボイスリサーチ
-
青木 善貴
芝浦工業大学大学院工学研究科
-
奥田 博隆
芝浦工業大学大学院工学研究科
著作論文
- ソースコード解析を利用したモデル検査に基づく欠陥抽出手法の提案(ソフトウェア解析)
- B-022 ソースコード解析を利用したモデル検査に基づく欠陥抽出手法による組込みシステムの検証(B分野:ソフトウェア,一般論文)
- 2P-3 モデル検査に基づくプログラム欠陥抽出作業支援ツールの開発と実践(ソフトウェアの検査・検証,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- B-016 ソースコ一ドの解析を利用したモデル検査に基づく欠陥抽出手法の提案(ソフトウェア,一般論文)
- モデル検査を用いたプログラムにおける再現性の低い潜在的欠陥の抽出手法 : データベースロック問題の検証
- データライフサイクルの妥当性に着目したモデル検査ツールの自動利用法