新原 敦介、小川 秀人、鷲崎 弘宜、”フィーチャ分析と充足可能性判定を用いたシステムテストに向けたシステム構成導出”、情報処理学会論文誌「ソフトウェア工学」特集号、2014年2月刊行予定 http://www.ipsj.or.jp/journal/info/sairoku.html