@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00070928,
 author = {難波亨 and 土屋達弘 and 菊野亨},
 book = {平成22年度情報処理学会関西支部支部大会講演論文集},
 month = {Sep},
 note = {ペアワイズテストとはパラメータ値の組み合わせを網羅するソフトウェアテスト手法である．提案手法では，ペアワイズテストの生成問題をSAT問題として定式化し，SATソルバを用いてテストケース生成を行う．},
 publisher = {情報処理学会},
 title = {SATソルバを用いたペアワイズテストケースの生成},
 volume = {2010},
 year = {2010}
}