Futa Hirakoba宮崎大学大学院 / 工学研究科 工学専攻 修士課程VDM++仕様を対象としたテストケース自動生成ツールBWDMにおける境界値分析結果へのペアワイズ法の適用jglobal.jst.go.jp でさらに詳しく