著者名 (author)	表題 (title)	論文誌/会議名	巻号	ページ範囲 (pages)	出版年月	JCR/採択率	File
国内会議(査読付き)	宮本敬三, 堀直哉, 岡野浩三, 楠本真二, 西本哲	アサーション動的生成のためのテストケース自動生成手法の生成アサーションの妥当性評価	ソフトウェア工学の基礎XVI 日本ソフトウェア科学会FOSE2009		183-190	2009年11月		fose2009.pdf