@misc{oai:repository.dl.itc.u-tokyo.ac.jp:00007803,
 author = {馬, 雷},
 month = {Sep},
 note = {学位の種別: 課程博士, 審査委員会委員 : (主査)東京大学准教授 佐藤 周行, 東京大学教授 相田 仁, 東京大学教授 峯松 信明, 東京大学准教授 小川 剛史, 東京大学准教授 鶴岡 慶雅, 東京大学准教授 近山 隆, 日本IBMシニアリサーチャー 河内谷 清久仁},
 title = {Automatic Verification and Testing for Software with Multiple Versions : Improving Software Quality in the Era of Multiple Versions},
 year = {2014}
}