卒業論文
[1] 小野木浩子, "モデル検査器ユーザビリティ向上のための入出力に対する支援手法," , 2007年.