タイトル:解の再利用を用いたSATに基づくテスト生成におけるインスタンス順序と変数割当順序の決定法

著者: 上田健司, 岩垣剛, 市原英行, 井上智生

雑誌名:信学技報 (DC2012-49)

Volume: 112

Number: 321

ページ: 141-146

発行月: 11

発行年: 2012

タイプ: techreport

外部リンク: http://www.ieice.org/ken/paper/20121127Q0YP/