@techreport{oai:ipsj.ixsq.nii.ac.jp:00184243,
 author = {小西, 達也 and 小島, 英春 and 中川, 博之 and 土屋, 達弘 and Tatsuya, Konishi and Hideharu, Kojima and Hiroyuki, Nakagawa and Tatsuhiro, Tsuchiya},
 issue = {28},
 month = {Nov},
 note = {本論文では，ソフトウェアテストの 1 つ，組み合わせテストについて議論する．具体的には，組み合わせテストで使用するテストケース集合の1つ， ロケーティングアレイに焦点を当てる．ロケーティングアレイは，与えられたパラメータ値の組み合わせをすべて網羅しているだけでなく，実行結果から不具合の原因となる組み合わせを特定することができる．ロケーティングアレイの生成手法に関する研究はまだ少なく， また，多くの場合について構成に必要な最小のテストケース数がわかっていない．そこで，SAT ソルバを使用したロケーティングアレイの生成手法を提案する． また，実際にロケーティングアレイを求め，得られた最小のテストケース数についても報告する．, In this paper, we discuss combinatorial interaction testing, which is a well-known software testing strategy. Especially, we focus on using locating arrays for combinatorial testing. Locating arrays do not only exercise all t-wise interactions of test parameters but also locate any failure-triggering interactions. At present there is little research on the generation of locating arrays. We propose a method of generating locating arrays using a SAT solver. Using the proposed method, we succeeded in finding several minimum locating arrays.},
 title = {SATソルバを使用したロケーティングアレイの生成手法について},
 year = {2017}
}