広範な実用Cプログラムに適用可能かつ高精度な動的境界検査ツール

• 荒堀 喜貴

• 権藤 克彦

• 前島 英雄

書誌事項

タイトル別名

• コウハン ナ ジツヨウ Cプログラム ニ テキヨウ カノウ カツ コウセイド ナ ドウテキ キョウカイ ケンサ ツール
• A precise dynamic bounds checker applicable to a wide range of real C programs
• システム開発論文特集
• システム カイハツ ロンブン トクシュウ

収録刊行物

• 電子情報通信学会論文誌. D, 情報・システム = The IEICE transactions on information and systems / 電子情報通信学会 編

  電子情報通信学会論文誌. D, 情報・システム = The IEICE transactions on information and systems / 電子情報通信学会 編 93 (10), 1851-1865, 2010-10

  東京 : 電子情報通信学会情報・システムソサイエティ

キーワード

• ソフトウェア工学
• ソフトウェア開発環境
• テスト
• デバッグ

詳細情報

• CRID: 1520009407079149824
• NII論文ID: 110007730846
• NII書誌ID: AA12099634
• ISSN: 18804535
• NDL書誌ID: 10853720
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I10853720
• 本文言語コード: ja
• NDL 雑誌分類:
  • ZN33(科学技術--電気工学・電気機械工業--電子工学・電気通信)
• データソース種別:
  • NDL
  • CiNii Articles
  • KAKEN