D-10-5 ビット遷移に着目したテストパターン生成手法の提案と評価(D-10.ディペンダブルコンピューティング,一般セッション) | AMiner