小島 英春


組み合わせインタラクションテストにおけるBDDを用いた制約処理法の性能評価
坂野 宏樹 中川 博之 小島 英春 土屋 達弘 
誌名:   電子情報通信学会論文誌 D
発行日: 2015/03/01
Vol. J98-D  No. 3  pp. 384-395
論文種別:  特集論文 (学生論文特集)
専門分野: ソフトウェア工学
キーワード: 
組み合わせインタラクションテスト制約処理BDDSATソルバ
 あらまし | 本文:PDF(862.7KB)

MANETプロトコルの仕様適合性試験のための状態遷移図縮退手法
小島 英春 大田 知行 角田 良明 高橋 寿一 
誌名:   電子情報通信学会論文誌 B
発行日: 2008/04/01
Vol. J91-B  No. 4  pp. 353-363
論文種別:  特集論文 (ネットワークソフトウェア論文特集)
専門分野: 
キーワード: 
状態遷移図モバイルアドホックネットワーク仕様適合性試験クラスタリングプロトコル試験
 あらまし | 本文:PDF(514.4KB)