2010年度論文賞の受賞論文紹介 : ソフトウェア・バグの高精度かつ高効率な検出に向けて
スポンサーリンク
概要
- 論文の詳細を見る
- 2011-07-15
著者
関連論文
- 2010年度論文賞の受賞論文紹介 : ソフトウェア・バグの高精度かつ高効率な検出に向けて
- 競合回避機構を備えた高互換かつ高精度な境界検査手法
- 誤解放を防ぐための新しい型修飾子strict_lifetime(ソフトウェア工学)
- ネイティブアセンブリコードを出力する教育用コンパイラ(XCC)と,水平スライスが可能な可視化ツール(MieruCompiler)(ソフトウェア工学)