太田 暁率 | (株)東芝 研究開発センター システム技術ラボラトリー
スポンサーリンク
概要
関連著者
-
太田 暁率
(株)東芝研究開発センター
-
太田 暁率
(株)東芝 研究開発センター システム技術ラボラトリー
-
今井 健男
株式会社東芝研究開発センターシステム技術ラボラトリー
-
岩政 幹人
(株)東芝研究開発センター
-
岩政 幹人
(株)東芝
-
進 博正
(株)東芝研究開発センター
-
片岡 欣夫
(株)東芝 研究開発センター
-
丸地 康平
(株)東芝 研究開発センター システム技術ラボラトリー
-
今井 健男
(株)東芝 研究開発センター システム技術ラボラトリー
-
片岡 欣夫
(株)東芝 研究開発センター システム技術ラボラトリー
著作論文
- AS-4-2 形式的なμITRON4.0仕様を用いたテストケース生成の実験(ソフトウェアのテストと検証,AS-4.組込みシステムの形式的手法,シンポジウム)
- 派生開発におけるミューテーションテスト手法のシステムテストへの応用