@misc{oai:repository.dl.itc.u-tokyo.ac.jp:00006138,
 author = {横山, 直人},
 month = {Mar},
 title = {ランダムテストとシンボリック実行の組み合わせによる網羅率の向上},
 year = {2015}
}